use deploy token (if available)

.gitlab-ci.yml

@@ -5,6 +5,11 @@ default:
     - podman
   before_script:
     - podman login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
+    - |-
+      if [ -n "$CI_DEPLOY_USER" ]; then
+        git config --global credential.helper store
+        (umask 077; echo "$CI_SERVER_PROTOCOL://$CI_DEPLOY_USER:$CI_DEPLOY_PASSWORD@$CI_SERVER_HOST" > $HOME/.git-credentials)
+      fi
 
 variables:
   PY_COLORS: 1