#5235 Race condition between merging and closing a PR
Opened 2 years ago by lsedlar. Modified 2 years ago

https://pagure.io/odcs/pull-request/518

I merged the PR at 13:41:03, and Ozan closed it without merging at 13:41:25.
The PR was merged to master branch, but it also shows up as closed. This is slightly confusing, and it would be nice if Pagure detected this and aborted on the second operation.


I'm not really sure how we'd be able to do it, the merge event is sent to the celery queue and the event gets sent back once it's completed. I guess maybe some kind of "merging" callback status?

@pingou does that make sense?

Metadata Update from @ngompa:
- Issue tagged with: RFE, UI

2 years ago

Login to comment on this ticket.

Metadata