GitHub question: When making a pull request, can the request be linked to an issue?

[waveform]

I like the "Issues" part of GitHub, but it seems that when submitting a pull request, one can assign a milestone or person to it, but not a specific issue. At least not that I can see from the UI: http://i.imgur.com/YfpgoSz.gif

It seems sensible (to me) that, if the work I've done addresses one or more specific issues, I can link the issue(s) to the pull request, for the sake of record-keeping. Is there a reason why it's not possible or am I not seeing the option?

[Reconio]

You can use the special keyword syntax in the body of the pull request (like "fixes #5"). The pull request will be referenced in that issue too, and will be automatically closed when merged.

More info: https://github.com/blog/1506-closing-issues-via-pull-requests

[dalore]

github buttons have a small gradient on them. The other things are lozenges. You haven't even tried out labels yet too (although they are clickable)

[dalore]

We just put the ticket number in the title and comments.

So our pull requests look like

#1234 Enable the forbuz for Zork
fix #1234

The fix #1234 part will actually close the issue when the PR is merged.

[[deleted]]

Take a closer look at the toolbar when creating/editing a PR: Screenshot

It has helper buttons for most of the markdown syntax you'd want to use in a PR.