Learn more about these different git repos.
Other Git URLs
When I tried to merge a pull request, it merged it fine but left a weird comment.
https://pagure.io/fedora-comps/pull-request/298#comment-59316
Another example:
https://pagure.io/fedora-comps/pull-request/300#comment-59326
Also, both of them are merged at about the same time with couple of min difference, not sure it created any confusion.
I think that potentially you clicked twice on the button triggering two tasks. We should see if we can avoid the duplicate comment though.
Metadata Update from @pingou: - Issue tagged with: bug
Metadata Update from @wombelix: - Issue set to the milestone: 5.13
Login to comment on this ticket.