From c9012fa8c6b9f76a35d4eb3b39acbeddc3c12f04 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Fri, 7 Jun 2024 15:45:53 -0500
Subject: [PATCH] Gitlab autopush: use script from ci-support
---
.github/workflows/autopush.yml | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/.github/workflows/autopush.yml b/.github/workflows/autopush.yml
index 627c567..f0b30a9 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 }}
--
GitLab