From 29913f0b5161d7604fb0912575bd323b6d7fb499 Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Fri, 1 Nov 2024 13:32:21 +0000
Subject: [PATCH] chore(ci): add workflow to redo typo PRs

---
 .github/workflows/redo-typo-pr.yml | 32 ++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 .github/workflows/redo-typo-pr.yml

diff --git a/.github/workflows/redo-typo-pr.yml b/.github/workflows/redo-typo-pr.yml
new file mode 100644
index 00000000000..eb0206b81e6
--- /dev/null
+++ b/.github/workflows/redo-typo-pr.yml
@@ -0,0 +1,32 @@
+name: Redo Typo PR
+
+on:
+  workflow_dispatch:
+    inputs:
+      pr_number:
+        description: 'The PR number to redo'
+        required: true
+        type: string
+
+jobs:
+  redo-typo-pr:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v3
+      with:
+        token: ${{ secrets.NOIR_REPO_TOKEN }}
+
+    - name: Authenticate with GitHub CLI
+      run: |
+        echo "${{ secrets.NOIR_REPO_TOKEN }}" | gh auth login --with-token
+
+    - name: Set git configure for commits
+      run: |
+        # Identify ourselves, needed to commit
+        git config --global user.name noirwhal
+        git config --global user.email tomfrench@aztecprotocol.com
+
+    - name: Run repo-typo-pr script
+      run: ./scripts/redo-typo-pr.sh ${{ github.event.inputs.pr_number }}