Skip to content
This repository was archived by the owner on Aug 18, 2025. It is now read-only.

chore: edit workspace editors docs to clarify certain points #777

Merged
merged 2 commits into from
Jan 10, 2022
Merged

chore: edit workspace editors docs to clarify certain points #777

merged 2 commits into from
Jan 10, 2022

Conversation

khorne3
Copy link
Contributor

@khorne3 khorne3 commented Jan 4, 2022

No description provided.

@github-actions
Copy link
Contributor

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

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

@shortcut-integration
Copy link

This pull request has been linked to Shortcut Story #19965: JetBrains IDEs in the browser screenshot should use a popular IDE in companies, IntelliJ.

@khorne3 khorne3 changed the title edit workspaces chore: edit workspace editors docs to clarify certain points Jan 4, 2022
@khorne3 khorne3 marked this pull request as ready for review January 4, 2022 21:26
mterhar
mterhar approved these changes Jan 10, 2022
View reviewed changes
Copy link
Contributor

@mterhar mterhar left a comment

Choose a reason for hiding this comment

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

All better than before

@khorne3 khorne3 merged commit 378de0b into main Jan 10, 2022
@khorne3 khorne3 deleted the katiehorne/sc-19965 branch January 10, 2022 19:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@sharkymark sharkymark Awaiting requested review from sharkymark

2 more reviewers

@mterhar mterhar mterhar approved these changes

@ericpaulsen ericpaulsen ericpaulsen approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@khorne3 @mterhar @ericpaulsen