RFR: 1280: Possible race condition when integrating PR could cause a spurious "Withdrawn" email
Erik Joelsson
erikj at openjdk.java.net
Fri Dec 10 20:35:05 UTC 2021
Change the order of adding "integrated" label and closing a pull request to avoid a race with the mlbridge bot, which could otherwise mistakenly send out a "withdrawn" message for a PR that is in the process of being integrated.
-------------
Commit messages:
- SKARA-1280
Changes: https://git.openjdk.java.net/skara/pull/1259/files
Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1259&range=00
Issue: https://bugs.openjdk.java.net/browse/SKARA-1280
Stats: 2 lines in 1 file changed: 1 ins; 1 del; 0 mod
Patch: https://git.openjdk.java.net/skara/pull/1259.diff
Fetch: git fetch https://git.openjdk.java.net/skara pull/1259/head:pull/1259
PR: https://git.openjdk.java.net/skara/pull/1259
More information about the skara-dev
mailing list