Skip to content

MAINT: update development environment names#172

Merged
gregcaporaso merged 4 commits into
mainfrom
update-dev-env-names
Apr 23, 2026
Merged

MAINT: update development environment names#172
gregcaporaso merged 4 commits into
mainfrom
update-dev-env-names

Conversation

@gregcaporaso
Copy link
Copy Markdown
Contributor

@gregcaporaso gregcaporaso commented Apr 23, 2026

No AI used.

I plan to test this from the built docs before merge, so leaving as a draft until that time.

@gregcaporaso gregcaporaso marked this pull request as draft April 23, 2026 13:32
Copy link
Copy Markdown
Collaborator

@lizgehret lizgehret left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changes look good, lmk if you want me to do any local testing on my end @gregcaporaso

@gregcaporaso gregcaporaso marked this pull request as ready for review April 23, 2026 17:53
@gregcaporaso gregcaporaso merged commit adc64f0 into main Apr 23, 2026
1 check passed
@gregcaporaso gregcaporaso deleted the update-dev-env-names branch April 23, 2026 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants