ci: switch images from Docker Hub to GitHub Packages

Docker changed their mind and are asking us to pay to keep the org on Docker Hub.
2023-03-16 12:16:29 +01:00
parent c5d1be8214
commit 8aababdd97
5 changed files with 24 additions and 54 deletions
--- a/2
+++ b/2
@@ -3,7 +3,7 @@
 # Usage: ./push-all <registry> <image-prefix> <image-tag>
 set -euo pipefail

-registry=${1:-docker.io}
+registry=${1:-ghcr.io}
 image_prefix=${2:-nixpkgs}
 image_tag=${3:-latest}