fix: resolve conflicts for PR #415
Rebase onto current prgs/master and fix cleanup-mutations regex so "Cleanup mutations: none" does not false-positive the proof checklist. Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
This commit is contained in:
@@ -209,7 +209,7 @@ def assess_post_merge_cleanup_proof(
|
||||
|
||||
if not remote_delete and not worktree_remove:
|
||||
cleanup_mutations = re.search(
|
||||
r"cleanup mutations\s*:\s*(?!none\b)(.+)",
|
||||
r"cleanup mutations\s*:\s*(?!none\b)\S",
|
||||
text,
|
||||
re.IGNORECASE,
|
||||
)
|
||||
|
||||
Reference in New Issue
Block a user