身為看票的人,我要每張關掉的票都說得出為什麼關,我才能分辨「做完了」和「不做了」 #12
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Parent: #1
封 E3:手動關 leaf。
目的:關票只有兩條合法路徑——PR merge 自動關,或人執票由人手動關並掛
close/human-exec。其餘一律擋。怎麼驗:代理嘗試手動關一張沒有
human/exec的票,證明被擋;人執票路徑證明放行。紅線:不得擋到 leo 自己的操作。
規範出處:§8 E3、§5、§6.2。
[decision] 這張票是重複的,內容已折回 inkstone/InkStoneCo#40,本票關閉
leo 2026-08-20:「如果你開的票與舊有的重疊就刪掉你新開的保留舊的,你在讓事情複雜化」。
這張是總管 2026-08-20 新開的,而同一條線早就有票在跑 ⇒ 留舊的。
本票的內容已經以留言形式貼回 inkstone/InkStoneCo#40,那裡有這件事完整的來歷。
(機器帳號沒有 repo admin,刪不掉,只能關。要真的抹掉請用管理員帳號刪。)