From 04ac4b8b7bfedcfee74e66e0e8cb64d120fb67f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Max=20L=C3=BCbke?= <mluebke@uni-potsdam.de>
Date: Thu, 13 Nov 2025 16:39:06 +0100
Subject: [PATCH] ci(gitlab): allow mirror push job to fail

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 749816e54..388e14f2d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -63,6 +63,7 @@ push:
     - if [[-d poet.git ]]; then rm -rf poet.git; fi
     - git clone --mirror "https://git.gfz-potsdam.de/naaice/poet.git" "poet.git" && cd poet.git
     - git push --mirror $GITHUB_REPOSITORY
+  allow_failure: true
 
 #archive-sources:       # This job runs in the build stage, which runs first.
 #  image: python:3