From dd261fe38b04f81c7222ee296d506316346f2db4 Mon Sep 17 00:00:00 2001
From: DeveloperC <DeveloperC@protonmail.com>
Date: Sat, 19 Aug 2023 11:15:40 +0100
Subject: [PATCH] ci: converting to git push --mirror

Mirror creates new references such as branches and tag. It updates existing
references and it deletes references when they no longer exist in the source but
do in the mirror.

* https://git-scm.com/docs/git-push#Documentation/git-push.txt---mirror
* https://christoph.ruegg.name/blog/git-howto-mirror-a-github-repository-without-pull-refs
---
 .github/workflows/mirroring.yml | 18 +++++-------------
 ci/mirroring.sh                 | 11 -----------
 2 files changed, 5 insertions(+), 24 deletions(-)
 delete mode 100755 ci/mirroring.sh

diff --git a/.github/workflows/mirroring.yml b/.github/workflows/mirroring.yml
index ba1be50..40a62e8 100644
--- a/.github/workflows/mirroring.yml
+++ b/.github/workflows/mirroring.yml
@@ -1,22 +1,14 @@
 name: Mirroring
 
-on:
-  # Mirroring after releasing, so tags are pushed.
-  workflow_run:
-    workflows: ["Releasing"]
-    # Only mirroring on the default branch, otherwise dead branches are pushed and never cleaned up.
-    branches: [main]
-    types: [completed]
+on: [push, delete]
 
 jobs:
   GitLab:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code.
-        uses: actions/checkout@v3
-        with:
-          fetch-depth: 0
+        run: git clone --mirror "https://github.com/${GITHUB_REPOSITORY}.git" "${GITHUB_WORKSPACE}"
+      - name: Getting GitLab repository.
+        run: echo "REPOSITORY_NAME=$(echo "${GITHUB_REPOSITORY}" | sed "s|^${GITHUB_REPOSITORY_OWNER}/||g")" >> "${GITHUB_ENV}"
       - name: Mirroring.
-        run: ./ci/mirroring.sh
-        env:
-          GITLAB_PERSONAL_ACCESS_TOKEN: ${{ secrets.GITLAB_PERSONAL_ACCESS_TOKEN }}
+        run: git push --mirror "https://oauth2:${{ secrets.GITLAB_PERSONAL_ACCESS_TOKEN }}@gitlab.com/DeveloperC/${REPOSITORY_NAME}"
diff --git a/ci/mirroring.sh b/ci/mirroring.sh
deleted file mode 100755
index e075558..0000000
--- a/ci/mirroring.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-
-set -o errexit
-set -o nounset
-
-# Setup Git mirror.
-git remote set-url origin "https://oauth2:${GITLAB_PERSONAL_ACCESS_TOKEN}@gitlab.com/DeveloperC/starlingbanktechnicalchallenge"
-# Push commits to Git mirror.
-git push --force
-# Push tags to Git mirror.
-git push --tags --force