doc: use GH issue/PR shorthand in commit messages
Most commits seem to use GitHub shorthand to refer to an issue or PR, rather than using the full URL.
Checklist
-
documentation is changed or added -
commit message follows commit guidelines
Affected core subsystem(s)
doc