A read-only mirror of the edgedb.com repo. - View it on GitHub