Development record
A run abandoned with its pull request closed unmerged, and the run left in place, keeps its issue or intent reserved for up to a day, since the fence now renews for a day under a ruleset mirror and nothing tombstones a reservation when a run is abandoned.
issueopenminoriss-2610142233473049
A run abandoned with its pull request closed unmerged, and the run left in place, keeps its issue or intent reserved for up to a day, since the fence now renews for a day under a ruleset mirror and nothing tombstones a reservation when a run is abandoned.
Frontmatter
| id | iss-2610142233473049 |
|---|---|
| type | issue |
| lifecycle | open |
| severity | minor |
.abcd/work/issues/open/iss-2610142233473049-a-run-abandoned-with-its-pull-request.md
open on GitHub ↗ · commit history ↗
mentions1
- iss-2611030744325032A loop run whose lane was landed outside the loop can never be finished: run-2611030127507347's lane merged as #1367 at 85ed321d2 after a hand landing, and implement step now refuses on every call because the branch is not at the records commit 0c466ccb1 the landing pinned, with a remedy to restore the branch, which would rewind a merged branch. Nothing else ends the run, so it keeps its lane worktree (prune keeps it as held by the run) and held its reservation until it was released by hand. iss-2610142233473049 covers the unmerged case.