edgedb / edgedb-pkg

EdgeDB Release Packaging Toolkit
1 stars 2 forks source link

Move rpmrepo to AWS #36

Closed ambv closed 3 years ago

ambv commented 3 years ago
ambv commented 3 years ago
  1. Either by publishing those things on PyPI (this repo is open anyway); or
  2. By publishing those tools on Docker Hub (FROM scratch) and then copying them here in a layer.

A variant of 1. could be to just put them on GitHub and download them manually in the Dockerfile, just like we're downloading inoticoming right now, just without the build step.