Development record
A drive's lane parks at its pull request where facilitator.mode is auto: the merge gate arms only a head a review receipt names, and only the land verb records one, so an unattended drive pushes every lane and leaves it open, holding its reservation until the reservation cap stops the run.
issueresolvedmajoriss-2611051821551531
A drive's lane parks at its pull request where facilitator.mode is auto: the merge gate arms only a head a review receipt names, and only the land verb records one, so an unattended drive pushes every lane and leaves it open, holding its reservation until the reservation cap stops the run.
Grounds
- pursued: a pair that read the pushed head is enough for an unattended lane to arm; shown wrong if a lane arms on a head no pair read
Frontmatter
| id | iss-2611051821551531 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | major |
.abcd/work/issues/resolved/iss-2611051821551531-a-drive-s-lane-parks-at-its-pull-request.md
open on GitHub ↗ · commit history ↗