RFR: 993: Stuck merge PR (Panama)
Erik Helin
ehelin at openjdk.java.net
Fri Apr 23 14:30:52 UTC 2021
Hi all,
please review this patch that makes the merge bot use the `/integrate auto` feature. The merge bot have previously had issues when it should have re-issued an `/integrate` command due to the pull request source branch being updated by a human. These concerns go away if the merge bot instead rely on the `/integrate auto` feature.
I also opted to make the `/sponsor` command a bit more lenient when a user has issued `/integrate auto`. If a user has run `/integrate auto` then a sponsor can sponsor the PR as soon as it is ready, they don't have to wait for the bots to add the `/integrate` comment.
Thanks,
Erik
-------------
Commit messages:
- skara-993
Changes: https://git.openjdk.java.net/skara/pull/1138/files
Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1138&range=00
Issue: https://bugs.openjdk.java.net/browse/SKARA-993
Stats: 136 lines in 3 files changed: 2 ins; 132 del; 2 mod
Patch: https://git.openjdk.java.net/skara/pull/1138.diff
Fetch: git fetch https://git.openjdk.java.net/skara pull/1138/head:pull/1138
PR: https://git.openjdk.java.net/skara/pull/1138
More information about the skara-dev
mailing list