Is it possible to link PRs to issues automatically using GitHubs infra

Core Workflow
1

Currently when a PR is opened for an issue the issue body is adjusted to include a link to the PR, however “Development” section of the issue or visible from the issues overview page.

This makes it difficult to quickly skim which issues do not yet have open PRs. Would it be possible to add this?

2

There was a discussion about a week ago in Core Development about this: Finding issues without a pull request to work on

And from that discussion, there is a GitHub issue open to discuss it as well.

3

Awesome, thanks a ton. Will have a look there.