workflow: formatter cleanup

Author: daimbk

.github/workflows/delete-formatting-branch.yml

@@ -0,0 +1,22 @@
+name: Delete Formatting Branch After Merge
+
+on:
+  pull_request:
+    types: [closed]
+
+jobs:
+  delete-branch:
+    if: github.event.pull_request.merged == true && startsWith(github.head_ref, 'autopep8-formatting/')
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - name: Delete branch after merge
+        run: |
+          BRANCH="${{ github.head_ref }}"
+          echo "Deleting branch: $BRANCH"
+          git config --global user.name 'github-actions[bot]'
+          git config --global user.email 'github-actions[bot]@users.noreply.github.com'
+          git clone --depth=1 https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} repo
+          cd repo
+          git push origin --delete "$BRANCH"