Pagure has the ability to automatically close issues and prs when merging the PR, but it would be really nice if it would automatically add a note to those issues when a PR is filed (e.g "PR #NNN refers to this issue").
I expect this would work with syntax similar to what the Pagure hook understands, and look at the pr description, comments, and commits.
It's something that I've been thinking about but on the other hand I also don't really like it because it means every time you rebase you get a new notification. In some PRs or for some tickets it really adds quite a high level of noise and that's something I quite dislike on github.
Metadata Update from @pingou: - Issue tagged with: discussion, wishful
It could work not by adding comments, but by having a separate box in the right column on issue page with link to the pull request and info about it's status. Since each related PR would only be listed once, this would not get bloated.
I like the idea! Thanks :)
Metadata Update from @pingou: - Issue assigned to pingou
I went ahead and did this one, PR incoming :)
Commit 11d0199f fixes this issue