Gitlab autopush: use script from ci-support

jobs:

    autopush:

        name: Automatic push to gitlab.tiker.net

        if: startsWith(github.repository, 'inducer/')

        runs-on: ubuntu-latest

        steps:

        -   uses: actions/checkout@v3

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