From c05e465976944784731e4472735e713a4b3549fa Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Fri, 7 Jun 2024 15:43:29 -0500
Subject: [PATCH] Gitlab autopush: use script from ci-support

---
 .github/workflows/autopush.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/autopush.yml b/.github/workflows/autopush.yml
index fefd13671..f0b30a9ce 100644
--- a/.github/workflows/autopush.yml
+++ b/.github/workflows/autopush.yml
@@ -7,15 +7,15 @@ on:
 jobs:
     autopush:
         name: Automatic push to gitlab.tiker.net
-        if: github.repository == 'inducer/pytato'
+        if: startsWith(github.repository, 'inducer/')
         runs-on: ubuntu-latest
         steps:
         -   uses: actions/checkout@v4
         -   run: |
-                mkdir ~/.ssh && echo -e "Host gitlab.tiker.net\n\tStrictHostKeyChecking no\n" >> ~/.ssh/config
-                eval $(ssh-agent) && echo "$GITLAB_AUTOPUSH_KEY" | ssh-add -
-                git fetch --unshallow
-                git push "git@gitlab.tiker.net:inducer/$(basename $GITHUB_REPOSITORY).git"  main
+                curl -L -O https://tiker.net/ci-support-v0
+                . ./ci-support-v0
+                mirror_github_to_gitlab
+
             env:
                 GITLAB_AUTOPUSH_KEY: ${{ secrets.GITLAB_AUTOPUSH_KEY }}