Merge pull request 'Fix stage source guard: fetch origin/dev before ancestry check' (#102) from dev into stage

2026-05-11 19:09:52 +00:00
parent 441d6d7cb5 9e5d7e55ab
commit c3aec8947a
1 changed files with 2 additions and 0 deletions
@@ -52,6 +52,8 @@ jobs:
          set -euo pipefail
          COMMIT_MSG=$(git log -1 --pretty=format:"%s" 2>/dev/null || true)
          echo "Merge commit: $COMMIT_MSG"
+          # Fetch dev so ancestry check works in the shallow clone.
+          git fetch --depth=1 origin dev 2>/dev/null || true
          # Gitea merge commits: "Merge pull request '...' (#N) from dev into stage"
          # Direct branch merges:  "Merge branch 'dev' into stage"
          # tea pr merge with custom title: any subject line is possible, so