Skip to content

chore: rename Create a Workspace doc #820

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 3 commits into from
Jan 31, 2022
Merged

chore: rename Create a Workspace doc #820

merged 3 commits into from
Jan 31, 2022

Conversation

khorne3
Copy link
Contributor

@khorne3 khorne3 commented Jan 28, 2022

No description provided.

@khorne3 khorne3 requested a review from ericpaulsen January 28, 2022 19:54
@github-actions
Copy link
Contributor

github-actions bot commented Jan 28, 2022 •
edited
Loading

✨ Coder.com for PR #820 deployed! It will be updated on every commit.

@khorne3 khorne3 changed the title rename Create a Workspace doc chore: rename Create a Workspace doc Jan 31, 2022
jawnsy
jawnsy approved these changes Jan 31, 2022
View reviewed changes
@khorne3 khorne3 merged commit 8eeed42 into main Jan 31, 2022
@khorne3 khorne3 deleted the workspace-rename branch January 31, 2022 21:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jawnsy jawnsy jawnsy approved these changes

@deansheather deansheather deansheather approved these changes

@ericpaulsen ericpaulsen Awaiting requested review from ericpaulsen

Assignees

@khorne3 khorne3

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@khorne3 @jawnsy @deansheather