You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Our Gitpod configuration tailors the environment for developing with different plugin projects. Using the Gitpod browser extension, navigating to Gitpod from the given plugin repository creates a Gitpod workspace.
We can emphasize this in our docs, possibly in a different page in the docs than the Gitpod docs page. The page is quite long right now. Maybe we can split it up into different pages in the docs.
Some other related items:
We can add links to all the plugin project READMEs, to create new Gitpod workspaces
I'd also like to emphasize that you can open a Gitpod workspace from any PR, by using the Gitpod browser extension, and clicking Open in Gitpod while viewing the PR in GitHub