Learn more about these different git repos.
Other Git URLs
We probably miss listening to some event in pagure-events.py script, which is fired when a pull request is merged.
pagure-events.py
That should trigger a rebuild if auto-rebuilding is setup (as it is e.g. for @copr/copr-dev) but it does not trigger anything currently.
Requires investigation of what event is fired from pagure when a pull request is merged and then including this event to the ones we listen to in the script.
Metadata Update from @msuchy: - Issue tagged with: bug
The problem was https://pagure.io/pagure/issue/4022.
Metadata Update from @clime: - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.