gitpod
gitpod-io/gitpod/AGENTS.md
Gitpod is a multi-language monorepo for a Kubernetes-based development environment platform. Keep changes focused: identify the component or workflow you are changing and read its local documentation before editing it.

