From 56976127bf79322bf6bb44811242e33b0e54d73e Mon Sep 17 00:00:00 2001
From: Basil Bruhn <basil.bruhn@psi.ch>
Date: Tue, 27 Oct 2026 17:49:35 +0100
Subject: [PATCH] login before pull

Signed-off-by: Basil Bruhn <basil.bruhn@psi.ch>
---
 .gitea/workflows/webhosting-dmz.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.gitea/workflows/webhosting-dmz.yaml b/.gitea/workflows/webhosting-dmz.yaml
index 73d985f..2915194 100644
--- a/.gitea/workflows/webhosting-dmz.yaml
+++ b/.gitea/workflows/webhosting-dmz.yaml
@@ -26,6 +26,16 @@ jobs:
     if: github.event_name == 'push' && github.ref == 'refs/heads/main'
     runs-on: webhosting_dmz
     steps:
+      - name: Log in to Gitea registry
+        env:
+          REGISTRY_USER: ${{ secrets.REGISTRY_USER }}
+          REGISTRY_TOKEN: ${{ secrets.REGISTRY_TOKEN }}
+        run: |
+          printf '%s' "$REGISTRY_TOKEN" |
+            docker login gitea.psi.ch \
+              --username "$REGISTRY_USER" \
+              --password-stdin
+
       - name: Deploy
         run: |
           set -e