fix: re-fetch before skill branch merges to avoid stale refs

2026-06-04 10:14:47 +08:00 · 2026-03-10 22:28:12 +02:00
parent 018deca3ef
commit 51ad949979
1 changed files with 3 additions and 0 deletions
@@ -89,6 +89,9 @@ jobs:
      - name: Merge main into skill branches
        id: merge
        run: |
+          # Re-fetch to pick up any changes pushed since job start
+          git fetch origin
+
          FAILED=""
          SUCCEEDED=""