github JIRA linking

[Julian Reschke]

This might be interesting:

https://docs.github.com/en/github/administering-a-repository/managing-repository-settings/configuring-autolinks-to-reference-external-resources