edgedb
edgedb copied to clipboard
Extension package hosting and download
(This isn't really an edgedb repo issue, but is a meta issue)
As a follow-up to https://github.com/edgedb/edgedb/issues/7733, we need to:
- [x] Upload and serve extension packages from our website
- [ ] Support downloading them via the CLI
- [ ] Support installing them into docker containers.
@elprans is on the first one; who should we have do the CLI stuff?
I'm assigning @mmastrac to this also, since I think he'll be doing the CLI work; that's not ready to start yet until we have artifacts uploading, though.
The main part of this on the CLI side was finished by https://github.com/edgedb/edgedb-cli/pull/1385 I filed https://github.com/edgedb/edgedb-docker/issues/94 to track the docker part, which is lower priority