Set env.REGISTRY to be quay.io correctly

Follow-up to jupyterhub#4612, which is currently making builds fail
yuvipanda · Nov 6, 2023 · c614484 · c614484
1 parent 60802b2
commit c614484
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -97,8 +97,7 @@ jobs:
       - name: Should we push this image to a public registry?
         run: |
           if [ "${{ startsWith(github.ref, 'refs/tags/') || (github.ref == 'refs/heads/main') }}" = "true" ]; then
-              # Empty => Docker Hub
-              echo "REGISTRY=" >> $GITHUB_ENV
+              echo "REGISTRY=quay.io/" >> $GITHUB_ENV
           else
               echo "REGISTRY=localhost:5000/" >> $GITHUB_ENV
           fi