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
Attachment:
signature.asc
Description: This is a digitally signed message part
_______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx