RFR: Avoid running PullRequestBot WorkItems for the same PR concurrently

[Erik Duveblad via github.com]

On Thu, 29 Aug 2019 12:32:16 GMT, Robin Westberg via github.com <duke at openjdk.java.net> wrote:

> 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
> 
> ----------------
> 
> Commits:
>  - b3319650:	Avoid running workitems for the same PR concurrently
> 
> Pull request:
> https://git.openjdk.java.net/skara/pull/106
> 
> Webrev:
> https://webrevs.openjdk.java.net/skara/106/webrev.00
> 
> Patch:
> https://git.openjdk.java.net/skara/pull/106.diff
> 
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/106/head:pull/106

This PR has been reviewed by Erik Duveblad via github.com - changes are approved. Review comment:

Looks good!

PR: https://git.openjdk.java.net/skara/pull/106