Ezio Melotti f7641a2ffe 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>

2022-04-25 12:05:54 +02:00

..

extensions

gh-91888: add a :gh: role to the documentation (#91889)

2022-04-25 12:05:54 +02:00

static

bpo-41028: Doc: Move switchers to docsbuild-scripts. (GH-20969)

2020-11-07 12:28:31 +01:00

templates

bpo-47126: Update to canonical PEP URLs specified by PEP 676 (GH-32124)

2022-03-30 12:00:27 +01:00

rstlint.py

bpo-42238: [doc] moving from rstlint.py to sphinx-lint. (GH-31097)

2022-02-10 08:59:04 +01:00

susp-ignored.csv

bpo-42238: [doc]: A make sucpicious false positive. (GH-32329)

2022-04-05 09:57:42 +02:00