#2686 Double merge of a pull request
Closed: Fixed 6 years ago Opened 6 years ago by lsedlar.

When two different people open the same PR and merge it at about the same time, the first merge will work without problems. The second one will report Your task failed: Nothing to do, changes were already merged but still add a comment about the PR being merged by the second person.

I would expect when I get an alert about failed merge that there will not be the comment, and an e-mail should not be sent about it.

Example:
https://pagure.io/rpkg/pull-request/254


Metadata Update from @pingou:
- Issue tagged with: bug

6 years ago

Metadata Update from @pingou:
- Issue assigned to pingou

6 years ago

Login to comment on this ticket.

Metadata