What is the function of the Development
section on a PR?
#128487
Unanswered
nickofthyme
asked this question in
Pull Requests
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Select Topic Area
Bug
Body
I'm not sure if I fully understand the use case for the
Development
section of a PR as shown below.To me the use seems to be to link issues with pull requests that are closing/fixing the issue. This is easy when I am creating a PR and link the issue using one of the linking keywords (.e.g.
fixes #123
).But sometimes I just want to just create a link without specifying the keyword in the description. But this is not possible as searching for any issue number directly in the
Development
search box from a PR, or vis versa, almost always results in no results to select.Below I attempt to add the issue
181012
to a PR, Notice when I search for the exact issue number it does not show up but as I remove numbers from the search, other issues start to show up. Why is it only showing some issues and not all?But when I add it manually by adding
fixes #181012
to the description, it all of a sudden finds the issue.One use case for this would be an automated PR generated by a GitHub App that continually updates the PR including description. So if I link the issue to this PR from the description and the bot later updates the description and removes this link, the link is completely removed.
Is this a bug or am I missing something?
Beta Was this translation helpful? Give feedback.
All reactions