Skip to content

Declare closed heads to the pass graph; keep the board for live commanders - #3754

Merged
trissim merged 2 commits into
mainfrom
hotfix/closed-head-unreferenced
Oct 30, 2026
Merged

Declare closed heads to the pass graph; keep the board for live commanders#3754
trissim merged 2 commits into
mainfrom
hotfix/closed-head-unreferenced

Merge remote-tracking branch 'origin/main' into hotfix/closed-head-un…

d671bea
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar