Closed darkdragon-001 closed 1 year ago
I am inclined to refuse this due to complexities involved but if someone would propose a github pipeline that we can run on schedule that can sync containers from quay.io
to docker.io
and ghcr.io
registries, I would likely approve it.
I can see the reason, but I just want to avoid including this in normal release pipeline, as any additional external service is likely to cause random outages. Still, a schedule that runs every hour would not hurt anyone.
Here is an example GitHub CI Workflow that pushes to GitHub https://github.com/DSpace/DSpace/blob/main/.github/workflows/docker.yml#L92-L156
akhilerm/tag-push-action does pretty much exactly what you want (i.e. pull, re-tag, push).
There's also Sinker, a CLI tool to sync images between repositories.
Please provide an official container image on Docker Hub. This should increase speed in the Github CI and allow people on Gitlab to use it as well.