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