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
DOC: Add Gitpod documentation #13871
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I read through out of curiosity since I've never used Gitpod. Actually, I got stuck trying to find the "Gitpod button" in GitHub--maybe I'm missing something or there's another step needed in docs?
Ah found it - when you install Gitpod (of course) it asks you for permissions to access repos (see below) You can override the installation or change your access from your Gitpod Integration dashboard. Will add this in the docs thanks for raising this @tylerjereddy |
Added a section on installing the Gitpod app as well as a part in the FAQ on how to fix this issue |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks great, thanks @trallard. A number of small comments, nothing major.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All green now, so let's get this in. Looks great, thanks @trallard!
Reference issue
Related to PR #13854
What does this implement/fix?
Additional information