From 1224ad1f1bbfce6f130f8daa41516c16f40a397c Mon Sep 17 00:00:00 2001
From: Keith Bennett <k.bennett@warwick.ac.uk>
Date: Tue, 10 Sep 2024 10:40:31 +0100
Subject: [PATCH] Removed broken automated PR workflows

---
 .github/workflows/auto_pr.yml   | 42 ---------------------------------
 .github/workflows/automerge.yml | 18 --------------
 2 files changed, 60 deletions(-)
 delete mode 100644 .github/workflows/auto_pr.yml
 delete mode 100644 .github/workflows/automerge.yml

diff --git a/.github/workflows/auto_pr.yml b/.github/workflows/auto_pr.yml
deleted file mode 100644
index 5c49b7709..000000000
--- a/.github/workflows/auto_pr.yml
+++ /dev/null
@@ -1,42 +0,0 @@
-name: auto-pr
-
-on:
-  push:
-    branches:
-    - 4.*-devel
-
-jobs:
-  pull-request:
-    runs-on: ubuntu-latest
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-
-    - name: Set branch variables
-      run: BASE_REF=$(echo $GITHUB_REF | cut -f3- -d\/);
-           major=$(echo $BASE_REF | cut -f1 -d\.);
-           minor=$(echo $BASE_REF | cut -f2 -d\. | cut -f1 -d\-);
-           DEST_BRANCH=$major.$((minor+1))-devel;
-           git branch -a | grep "origin/$DEST_BRANCH" || {
-             DEST_BRANCH=$((major+1)).0-devel;
-             git branch -a | grep "origin/$DEST_BRANCH" || exit 1;
-           };
-           echo "BASE_REF=$BASE_REF" >> $GITHUB_ENV;
-           echo "DEST_BRANCH=$DEST_BRANCH" >> $GITHUB_ENV;
-
-    - name: Create Pull Request
-      id: open-pr
-      uses: repo-sync/pull-request@v2
-      with:
-        destination_branch: ${{ env.DEST_BRANCH }}
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        pr_title: "Pull $BASE_REF into $DEST_BRANCH"
-        pr_label: "auto-pr"
-
-    - name: Auto approve
-      uses: hmarr/auto-approve-action@v2
-      with:
-        github-token: ${{ secrets.GH_APPROVE }}
-        pull-request-number: ${{ steps.open-pr.outputs.pr_number }}
diff --git a/.github/workflows/automerge.yml b/.github/workflows/automerge.yml
deleted file mode 100644
index b62d94e26..000000000
--- a/.github/workflows/automerge.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: automerge
-
-# Controls when the action will run.
-on:
-  pull_request_review:
-    branches:
-    - main
-    - '*-devel'
-
-jobs:
-  automerge:
-    if: contains(github.event.pull_request.labels.*.name, 'auto-pr')
-    runs-on: ubuntu-20.04
-    steps:
-    - name: Auto merge
-      uses: alexwilson/enable-github-automerge-action@1.0.0
-      with:
-        github-token: ${{ secrets.GITHUB_TOKEN }}