The main development activities occur on GitLab: https://gitlab.com/postgres-ai/database-lab

If you're interested in helping us develop DLE, here are two good starting points:

• read CONTRIBUTING.md
• check out the issues on GitLab labeled good first issue

You can use both GitLab and GitHub to create MRs/PRs – we have bi-directional replication for the repositories, so we can process both GL MRs and GH PRs, choose what is more convenient in your case.