gh-91888: add a `:gh:` role to the documentation (#91889)
* Add a new :gh:`...` role for GitHub issues. * Fix a GitHub id to use the :gh: role. * Add Misc/NEWS entry. * Refactoring and rephrasing. Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
E
Ezio Melotti committed
f7641a2ffec243e5f600028a84debe9028a9ee44
Parent: 4403320
Committed by GitHub <noreply@github.com>
on 4/25/2022, 10:05:54 AM