Cross repository links to comments in issues

[erny]

Rationale

Currently, GH allows to reference issues and PR with the syntax:

• #123
• github/markup#123

but not a direct link to a comment in an issue. As some issues are very long and include a lot of knowledge, it would be nice to be able to reference comments inside issues or PRs.

Proposal

Allow adding the comment inside a issue with the following syntax:

[[{user}/]{repository}]#{issue}[##comment-reference]

Any alternative syntax is welcome.

Implementation proposal

• The anchor marker ## part is optional (of course)
• The regular expression with transformation rule should be easy to implement, just generate the link as before and add any optional ## part: e.g. user/repo#123##comment-ref -> https://github.com/user/repo/issues/123#comment-ref

[github-actions[bot]]

Stale issue message