Wolfgang Walther 9a637aa7a4 ci/github-script/merge: restructure head SHA check ...

While it was already the case that only merge comments *after* the
latest push were acted on, the logic wasn't easy to understand. This
change should make it more obvious, specially in combination with the
next commit, that all steps (comments, approvals, merge) must happen on
the same SHA - the current head SHA of the PR.

2025-11-02 19:35:32 +01:00

9.6 KiB

Raw Blame History

View Raw