Update mirror action (allow force push)

mysociety · Oct 1, 2024 · fac0b1a · fac0b1a
1 parent 1abcad5
commit fac0b1a
Showing 1 changed file with 21 additions and 3 deletions.
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
@@ -3,6 +3,11 @@ name: Push mirror to git.mysociety.org
 on:
   push:
   workflow_dispatch:
+    inputs:
+      force_push:
+        description: 'Force push branch'
+        type: boolean
+        required: false
 
 jobs:
   sync:
@@ -11,15 +16,28 @@ jobs:
     steps:
 
     - name: Checkout
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         fetch-depth: '0'
 
     - name: Push branch to git.mysociety.org
       id: push_to_mirror
-      uses: mysociety/[email protected]
+      if: ${{ github.event.inputs.force_push == 'false' || !github.event.inputs.force_push }}
+      uses: mysociety/[email protected]
       with:
         git_ssh_key: ${{ secrets.PUBLICCVS_GIT_KEY }}
         ssh_known_hosts: ${{ secrets.GIT_KNOWN_HOSTS }}
         tag: ${{ github.ref_name }} 
-        remote: 'ssh://[email protected]/data/git/public/parlparse.git'
+        remote: 'ssh://[email protected]/data/git/public/parlparse.git'
+
+
+    - name: Push branch to git.mysociety.org (force)
+      id: push_to_mirror_force
+      if: ${{ github.event.inputs.force_push == 'true' }}
+      uses: mysociety/[email protected]
+      with:
+        git_ssh_key: ${{ secrets.PUBLICCVS_GIT_KEY }}
+        ssh_known_hosts: ${{ secrets.GIT_KNOWN_HOSTS }}
+        tag: ${{ github.ref_name }} 
+        remote: 'ssh://[email protected]/data/git/public/parlparse.git'
+        extra_git_config: --force