Learn more about these different git repos.
Other Git URLs
cee427c
pass the right options to notifyPagurePR Merges https://pagure.io/pagure/pull-request/3159