Merge remote-tracking branch 'prgs/master' into feat/issue-432-worktree-hygiene

# Conflicts:
#	docs/webui-local-dev.md
#	webui/app.py
This commit is contained in:
2026-07-09 08:41:37 -04:00
36 changed files with 3321 additions and 24 deletions
+1 -1
View File
@@ -8,8 +8,8 @@ import subprocess
from dataclasses import dataclass
from typing import Any, Callable
from issue_lock_provenance import ISSUE_LOCK_FILE
from merged_cleanup_reconcile import (
ISSUE_LOCK_FILE,
branch_worktree_folder,
read_issue_lock,
read_local_worktree_state,