From acc7d0de3ff755eeda690c1088137d9399ccc1be Mon Sep 17 00:00:00 2001 From: surrealwolf Date: Mon, 27 Apr 2026 04:12:41 +0000 Subject: [PATCH] ci: use shared GitLab mirror reusable workflow Delegate mirror push to DataKnifeAI/github-workflows reusable-gitlab-mirror-push. --- .github/workflows/tests.yml | 25 +++++++------------------ 1 file changed, 7 insertions(+), 18 deletions(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index fbb4e30..2449538 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -62,23 +62,12 @@ jobs: safety check --json || true push-to-gitlab: name: Push to GitLab - runs-on: ubuntu-latest + uses: DataKnifeAI/github-workflows/.github/workflows/reusable-gitlab-mirror-push.yml@main needs: - test - if: always() && needs.test.result == 'success' && github.event_name == 'push' && github.ref == 'refs/heads/main' - steps: - - name: Checkout code - uses: actions/checkout@v6 - with: - fetch-depth: 0 - - name: Push to GitLab - env: - GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN }} - run: | - git config user.name "GitHub Actions" - git config user.email "actions@github.com" - git remote remove gitlab 2>/dev/null || true - git remote add gitlab https://gitlab.com/dk-raas/dkai/mcp-servers/high-command-mcp.git - git config credential.helper '!f() { echo "username=oauth2"; echo "password=${GITLAB_TOKEN}"; }; f' - git fetch gitlab main - git push gitlab HEAD:main --force + if: >- + always() && needs.test.result == 'success' && + github.event_name == 'push' && github.ref == 'refs/heads/main' + secrets: inherit + with: + gitlab_mirror_path: dk-raas/dkai/mcp-servers/high-command-mcp