mirror of
https://github.com/systemd/systemd.git
synced 2026-11-06 21:36:59 +00:00
Zbigniew Jędrzejewski-Szmek
20f652ccb1
This reverts commit f1ea185bcf.
This was maybe a reasonable idea, but it's causing annoying usability
regressions. Since this was merged, the github CI hides the merge button
and replaces it by button to rebase, and shows a strange message:
> This branch is out-of-date with the base branch
> Merge the latest changes from main into this branch. This merge commit will
> be associated with $user.
Sometimes, the CI is overloaded, and the job that is usually quick takes
a while to run. This means that the user is permanently blocked from using
the UI to merge a PR.
We actually need patches that are merged to be reviewed. This job just
does a _very_ narrow check that can catch one very particular issue, but
is not enough to really ensure anything. And since it's creating a
usability regression, let's drop it, and go back to old style eyeballing,
which we should have been doing anyway.