Gitlab autopush: use script from ci-support

.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 }}