Skip to content

chore: align active version terminology and link to docs #14639

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Sep 11, 2024

Conversation

dannykopping
Copy link
Contributor

@dannykopping dannykopping commented Sep 11, 2024

I found this quite confusing when I came across this feature.

image

What is the "default version"? I've changed this to "active version" which I believe is the intent here, and added a link to the documentation.

image

I also linked the docs in the CLI --require-active-version flags' help text.

Signed-off-by: Danny Kopping <danny@coder.com>
@dannykopping dannykopping marked this pull request as ready for review September 11, 2024 09:21
Signed-off-by: Danny Kopping <danny@coder.com>
Copy link
Member

@johnstcn johnstcn left a comment

Choose a reason for hiding this comment

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

Also need to update reference to "default version" in docs/workspaces.md

Signed-off-by: Danny Kopping <danny@coder.com>
Signed-off-by: Danny Kopping <danny@coder.com>
Copy link
Member

@mafredri mafredri left a comment

Choose a reason for hiding this comment

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

Nice!

@dannykopping dannykopping merged commit 1b5f341 into main Sep 11, 2024
30 checks passed
@dannykopping dannykopping deleted the dk/active-version branch September 11, 2024 10:25
@github-actions github-actions bot locked and limited conversation to collaborators Sep 11, 2024
Copy link
Member

@johnstcn johnstcn left a comment

Choose a reason for hiding this comment

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

Post-merge 👍

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants