  jiantw83andClaude Opus 5
|
695694b3fd
|
fix(pr-watch): 來源分支被刪掉之後，改從 head.label 取分支名
PR 合併而來源分支被刪掉之後，Gitea 把 head.ref 換成 refs/pull/{編號}/head，分支名
退到 head.label。pr-watch 用的是 head.ref，於是推導出一條根本不存在的工作樹路徑，
回報「工作樹不在、沒事要做」——而合併正是唯一該清理工作樹的時機，等於自動清理在真實
情況下從來不會成立，而且靜悄悄的，沒有人會發現。
實測 #48（合併後）推導出 bb4f5127f641，真正的那一棵在 bd457620184e。
fork 來的 PR 的 label 是 owner:branch，只取分支那一段。兩邊都取不到時明確中止
（PULL_HEAD_MISSING），並指出手動出口怎麼指名那一棵，不拿空字串去推導路徑。
測試先前沒抓到，是因為假的 PR 一律照「開著的 PR」寫，head.ref 永遠是分支名。
補上「已合併且來源分支已刪」與 fork 兩種 head 的樣子。
議題 #50
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
|
2026-09-17 17:16:44 +08:00 |
|