Skip to content

automation: allow landing an approved rebase by hand - #50

Merged
kaniini merged 1 commit into
edera/mainlinefrom
automation/land-dispatch
Oct 23, 2026
Merged

kaniini merged 1 commit into
edera/mainlinefrom
automation/land-dispatch

Conversation

@kaniini

@kaniini kaniini commented Oct 23, 2026

Copy link
Copy Markdown

Approving #48 started no land run: GitHub starts no workflow for a review of a pull request it cannot compute a merge ref for (#48 was mergeable_state: dirty), and a rebase often conflicts with the tree it replaces. #48 had to be landed by hand.

rebase-land.yml now also takes workflow_dispatch with a pr input:

gh workflow run rebase-land.yml --ref edera/mainline -f pr=<N>

Run that way, it reads the head, branch and base from the pull request and requires an open rebase/edera-mainline/... branch from this repository into edera/mainline. The approver is the most recent approval of the current head from a reviewer whose latest review is still an approval; a later change request or dismissal cancels it. The write-access check, the tip check, the backup and the leased push are unchanged. The concurrency group is now fixed to push-edera/mainline, since a dispatch carries no pull request.

Checked: the workflow parses and the Land script passes bash -n; the approval filter picks kaniini on #48's reviews and handles a later change request, an approval of an old head, a comment after an approval, and no reviews. Not yet run in Actions.

edera/6.18-lts carries its own copy of this workflow and is not changed here.

GitHub starts no workflow for a review of a pull request it cannot
compute a merge ref for, and a rebase often conflicts with the tree it
replaces: approving #48 started nothing, and it had to be landed by
hand.

The land workflow can now also be run with a pull request number. It
then reads the head, branch and base from the pull request, requires
the same rebase/edera-mainline/... branch into edera/mainline, and
lands on the most recent approval of the current head from a reviewer
whose latest review is still an approval. Everything after that, the
write-access check, the tip check, the backup and the leased push, is
unchanged.
@kaniini
kaniini requested a review from azenla October 23, 2026 16:55
@kaniini
kaniini merged commit 42d63cb into edera/mainline Oct 23, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants