Learn more about these different git repos.
Other Git URLs
Hello,
could we enable sending pagure.git.receive when a pull request is merged into a main repo?
pagure.git.receive
On that occasion, I would like to trigger rebuild of the main repo on the merge commit or the latest commit from PR in case the PR has been rebased before the merge (but again main repo should be cloned for rebuilt).
pagure.pull-request.closed doesn't give the merge commits, which is the main reason I cannot use it.
pagure.pull-request.closed
I am aware that pagure.git.receive might not be the greatest ever name for the event of a PR being merged into a main repo but I wouldn't mind that. I think the event should be sent alongside pagure.pull-request.closed.
I'm pretty sure we are sending git.receive upon PR merge
Ok, cool. Will check! Thank you!
Yes, I can confirm it works. Thanks again!
Let's close then :)
Metadata Update from @pingou: - Issue close_status updated to: Invalid - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.