diff options
| author | Panu Matilainen <pmatilai@redhat.com> | 2020-11-30 14:05:06 +0200 |
|---|---|---|
| committer | Panu Matilainen <pmatilai@redhat.com> | 2021-03-22 12:12:12 +0200 |
| commit | 1a9b142fde141ef95215115b19915c0a005bffda (patch) | |
| tree | acfa115a87423697aa13a5cc480b7816d36ed4fd | |
| parent | 95fe1f79a2cba118a1fffde2b630460abc9c8698 (diff) | |
| download | rpm-1a9b142fde141ef95215115b19915c0a005bffda.tar.gz | |
Pull CI image from registry.fedoraproject.org
Dockerhub has added download rate limiting (and who could blame them)
But our CI getting blocked because of other projects being busy
downloading from Docker isn't so nice, hopefully Fedora's own registry
lets us work around this.
| -rw-r--r-- | ci/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/Dockerfile b/ci/Dockerfile index 678723664..d67c4db9b 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -1,4 +1,4 @@ -FROM fedora:31 +FROM registry.fedoraproject.org/fedora:31 MAINTAINER rpm-maint@lists.rpm.org WORKDIR /srv/rpm |