quarkus-github-bot icon indicating copy to clipboard operation
quarkus-github-bot copied to clipboard
verified publisher icon quarkusio

Check that PRs are mergeable

Open gsmet opened this issue 4 years ago • 1 comments

We could consider a scheduler job to check if PRs are mergeable. We would add a comment ONCE if not (or maybe once per sha?).

We could use a hidden HTML comment in the message to track which sha have been handled already.

gsmet avatar Apr 15 '21 11:04 gsmet

Long running PRs can have merge conflicts multiple times, so I think the comment should be per SHA.

famod avatar May 06 '21 20:05 famod