Avoid running PullRequestBot WorkItems for the same PR concurrently

[rwestberg]

Hi all,

Please review this change that ensures that the WorkItems used by the PullRequestBot are not run concurrently for the same PR. This avoids a race condition where two tasks try to update the sponsor label at the same time.

Best regards,
Robin

Progress

• Change must not contain extraneous whitespace
• Change must be properly reviewed

Approvers

• Erik Helin (ehelin - Reviewer)

[bridgekeeper]

👋 Welcome back rwestberg! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request (refresh this page to view it).

[mlbridge]

Webrevs

• 00: Full (b331965)

[edvbld]

Looks good!

[openjdk]

@rwestberg This change can now be integrated. The commit message will be:

Avoid running PullRequestBot WorkItems for the same PR concurrently

Reviewed-by: ehelin

• If you would like to add a summary, use the /summary command.
• To list additional contributors, use the /contributor command.
• To integrate this PR with the above commit message, type /integrate in a new comment.

[rwestberg]

/integrate

[openjdk]

@rwestberg Pushed as commit 417c6f5.