diff --git a/.github/workflows/redo-typo-pr.yml b/.github/workflows/redo-typo-pr.yml new file mode 100644 index 000000000000..0bbeb0b1390a --- /dev/null +++ b/.github/workflows/redo-typo-pr.yml @@ -0,0 +1,25 @@ +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 + + - name: Set up GitHub CLI + uses: actions/setup-gh@v2 + with: + token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }} + + - name: Run repo-typo-pr script + run: ./scripts/repo-typo-pr ${{ github.event.inputs.pr_number }}