On Wed, 2017-07-12 at 15:44 -0400, Dusty Mabe wrote:
I know this type of workflow works for github (i.e. the
automatically
closing the pull request when it detects the commit made it into
master).
I've done this with Github and dist-git before [1]
There is an issue with Pagure detecting merged pull requests:
https://pagure.io/pagure/issue/1683