<aside> 🌍 This page is public. Read about our take on public when possible, private when necessary.
<aside> 👐 Maintained ****by @Christian Weichel and @Mike Brevoort. Contribute to this page using following our contributor flow.
All our code, configuration, scripts, CI pipelines, documentation, experiments, utilities; everything that makes up Gitpod lives in Git, specifically on GitHub.
At the moment we have two main repositories:
There is a bunch of other repositories where we maintain other aspects of Gitpod, e.g.:
On top of that, we also maintain some of our own tools: