Add easy-to-find links to PRs into the issues
When a PR is filed, add a note to the bottom of the first post in an issue (the original post). The update should include a blank line, then a hyphen (to create a HR) and then a link to the latest pull request.
-
Latest pull request: #1356
@Gormartsen I'm not even sure if updating other people's issues is even something we can do with the GitHub API, but if it is, this would be super helpful!!! :)
:+1: I like GitHub, but I miss d.org issue summaries.
@jenlampton - I got an idea. Should be possible.
Love this idea. As our backdrop-ci user has full admin permissions on both core and contrib repositories, it should be able to edit any issue description. I love this idea that we could provide a useful set of links (e.g. parent issues, related issues, PRs, etc) in the issue description in lieu of being able to add a block to the sidebar of GitHub that matches the abilities we have on drupal.org.
Is this still needed now that GitHub puts a link in the sidebar automatically?