Skip to content
Snippets Groups Projects
Unverified Commit 06389410 authored by Ezio Melotti's avatar Ezio Melotti Committed by GitHub
Browse files

[3.8] gh-91888: add a `:flag_gh:` role to the documentation (GH-91889) (#91936)

* gh-91888: Add a :flag_gh: role to the documentation (GH-91889).

* [3.8] gh-91888: add a `:flag_gh:` role to the documentation (GH-91889)

* Add a new :flag_gh:`...` role for GitHub issues.

* Fix a GitHub id to use the :flag_gh:

 role.

* Add Misc/NEWS entry.

* Refactoring and rephrasing.

Co-authored-by: default avatarHugo van Kemenade <hugovk@users.noreply.github.com&gt;.>
(cherry picked from commit f7641a2f)

Co-authored-by: default avatarEzio Melotti <ezio.melotti@gmail.com>

* Fix use of the default role in NEWS entry
parent bf54487d
Branches
Tags
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment