diff --git a/.github/workflows/autopush.yml b/.github/workflows/autopush.yml index 627c567a..f0b30a9c 100644 --- a/.github/workflows/autopush.yml +++ b/.github/workflows/autopush.yml @@ -7,14 +7,15 @@ on: jobs: autopush: name: Automatic push to gitlab.tiker.net + 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 }}