Skip to content

Conversation

@KevsterAmp
Copy link
Contributor

Copy link
Member

@mroeschke mroeschke left a comment

Choose a reason for hiding this comment

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

If we remove the documentation, I think we might as well remove the other related files. So could you remove other reference or files related to Dockerfile or Gitpod?

EDIT: Also possibly good timing to remove Gitpod, looks like they're rebranding/refocusing efforts as well https://github.com/gitpod-io/gitpod/blob/main/README.md

@mroeschke mroeschke added the Docs label Oct 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

2 participants