Gate: a merge learnt seconds late moves the trunk; and a setting check-gates-merge so the merge check can stop gating (operator 2026-10-25 22:56) #483
2
Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
32ad59fc64 | ||
|
|
93f655dac9 |
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
32ad59fc64 | ||
|
|
93f655dac9 |