Skip to content

devpod: add page #16774

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
Managor merged 5 commits into from
Jun 10, 2025
Merged

devpod: add page #16774

Managor merged 5 commits into from
Jun 10, 2025

Conversation

@depgod
Copy link
Contributor

@depgod depgod commented Jun 5, 2025 •
edited
Loading

  • The page(s) are in the correct platform directories: common
  • The page(s) have at most 8 examples.
  • The page description(s) have links to documentation or a homepage.
  • The page(s) follow the content guidelines.
  • The page(s) follow the style guide.
  • The PR title conforms to the recommended templates.

@github-actions github-actions bot added new command Issues requesting creation of a new page or PRs adding a new page for a command. review needed Prioritized PRs marked for reviews from maintainers. labels Jun 5, 2025
Managor
Managor requested changes Jun 5, 2025
View reviewed changes
@Managor
Copy link
Member

Managor commented Jun 5, 2025

Stop marking discussions as resolved if they're not resolved

Managor
Managor reviewed Jun 9, 2025
View reviewed changes
Managor
Managor reviewed Jun 9, 2025
View reviewed changes
sebastiaanspeck
sebastiaanspeck requested changes Jun 10, 2025
View reviewed changes
Managor and others added 2 commits June 10, 2025 10:31
@Managor @sebastiaanspeck
Update pages/common/devpod.md
72f5268 
Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
@Managor
Update devpod.md
4ec4f98
@tldr-bot

This comment was marked as outdated.

Sign in to view
@Managor Managor merged commit 5ea5df1 into tldr-pages:main Jun 10, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@sebastiaanspeck sebastiaanspeck sebastiaanspeck approved these changes

@Managor Managor Managor approved these changes

Assignees

No one assigned

Labels

new command Issues requesting creation of a new page or PRs adding a new page for a command. review needed Prioritized PRs marked for reviews from maintainers.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@depgod @Managor @tldr-bot @sebastiaanspeck