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

---
 .github/workflows/autopush.yml | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/autopush.yml b/.github/workflows/autopush.yml
index 0fd00a294..447320463 100644
--- a/.github/workflows/autopush.yml
+++ b/.github/workflows/autopush.yml
@@ -3,7 +3,6 @@ on:
     push:
         branches:
         - main
-        - kernel_callables_v3-edit2
 
 jobs:
     autopush:
@@ -12,12 +11,10 @@ jobs:
         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
-                TGT_BRANCH="${GITHUB_REF#refs/heads/}"
-                echo "pushing to $TGT_BRANCH..."
-                git push "git@gitlab.tiker.net:inducer/$(basename $GITHUB_REPOSITORY).git" "$TGT_BRANCH"
+                curl -L -O https://tiker.net/ci-support-v0
+                . ./ci-support-v0
+                mirror_github_to_gitlab
+
             env:
                 GITLAB_AUTOPUSH_KEY: ${{ secrets.GITLAB_AUTOPUSH_KEY }}