[Linking in GitHub] For future-proof documentation

[Ryuno-Ki]

I saw today @joshua-s linking to files in the project, which is a good thing!

However, since he used a branch (develop) instead of a commit in the tree, the link will be kind of broken in the future, when this file gets touched.

Hence, I'd suggest to go via the letter like so:

1. Click on the file, you want to link to.
2. Click on History (upper right corner in desktop view).
3. Click on <> next to the commit hash for the file in question.
4. Click on the line in order to get the correct URL.
5. Copy that URL and insert it into an issue report.

I know it's a bit nasty. If people agree, I consider mailing GitHub support and suggest a better UI for this.

[twiss]

There's a keyboard shortcut for this, "y".

[ferndot]

I will do that in the future!

[Ryuno-Ki]

@twiss Wasn't aware, that GitHub supports ? for shortcuts. Thank you!