<aside> 🌍 This page is public. Read about our take on public when possible, private when necessary.
</aside>
<aside> 👐 Maintained ****by @Christian Weichel and @Mike Brevoort. Contribute to this page using following our contributor flow.
</aside>
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:
All code is built and deployed using Continuous Integration. We use werft as CI system. The werft installation at https://werft.gitpod-dev.com/ builds everything in gitpod-io/gitpod. See Tools of the Trade for more details.