Build instructions: https://www.edgedb.com/docs/guides/contributing https://www.edgedb.com/docs/guides/contributing Repos: the first repo is the database itsel

Build instructions: https://www.edgedb.com/docs/guides/contributing https://www.edgedb.com/docs/guides/contributing Repos: the first repo is the database itself; the second is our CLI -- tools for migrations, dump/restore, repl, etc.