From 4392c45966a8534727799f7db00e70ce7919795d Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Tue, 15 Dec 2020 23:19:46 +0100
Subject: [PATCH] Use hub.docker.com as registry

---
 .github/workflows/build_docker_images.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_docker_images.yml b/.github/workflows/build_docker_images.yml
index 1820aacf..7f75690f 100644
--- a/.github/workflows/build_docker_images.yml
+++ b/.github/workflows/build_docker_images.yml
@@ -86,7 +86,7 @@ jobs:
         if: github.ref != null
         uses: javajawa/remote-docker-tag@v1
         with:
-          registry: registry.docker.io
+          registry: hub.docker.com
           repository: bengig
           existing-tag: ${{ github.sha }}
           new-tag: ${{ github.ref }}