fix: address review follow-up hardening

2026-07-14 14:53:49 +00:00
parent 800248d646
commit 6867124b17
7 changed files with 148 additions and 434 deletions
@@ -1,29 +0,0 @@
-name: Temporary review fixes
-
-on:
-  workflow_dispatch:
-
-permissions:
-  contents: write
-
-jobs:
-  apply:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - name: Repair review patch GUI replacement
-        run: python tools/fix_review_patch_gui_replace.py
-      - name: Apply review fixes
-        run: python tools/apply_review_fixes.py
-      - name: Commit and cleanup
-        run: |
-          git config user.name "github-actions[bot]"
-          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
-          git rm -f tools/apply_review_fixes.py tools/fix_review_patch_gui_replace.py .github/workflows/temp-review-fixes.yml
-          git add -A
-          if git diff --cached --quiet; then
-            echo "No changes to commit"
-          else
-            git commit -m "fix: address review follow-up hardening"
-            git push
-          fi