diff options
author | Michał Górny <mgorny@gentoo.org> | 2020-02-22 17:35:48 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2020-02-25 16:15:23 +0100 |
commit | 246a7fa1c7e692894f33c3d513779046759213ae (patch) | |
tree | bca22a0af0ff95c44c20798deca5692cbf1d8090 /maintainer.rst | |
parent | ebuild-format: Require KEYWORDS to be on one line (diff) | |
download | policy-guide-246a7fa1c7e692894f33c3d513779046759213ae.tar.gz policy-guide-246a7fa1c7e692894f33c3d513779046759213ae.tar.bz2 policy-guide-246a7fa1c7e692894f33c3d513779046759213ae.zip |
Introduce PGnnnn identifiers for policies
Introduce stable numeric identifiers for policies, and create permalinks
from them.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'maintainer.rst')
-rw-r--r-- | maintainer.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/maintainer.rst b/maintainer.rst index 07dd3b1..e37daf4 100644 --- a/maintainer.rst +++ b/maintainer.rst @@ -5,6 +5,7 @@ Package Maintainers Adding new maintainers ---------------------- +:PG: 0601 :Source: QA :Reported: no @@ -31,6 +32,7 @@ them from packages actually within project's profile was hard. New packages without a maintainer --------------------------------- +:PG: 0602 :Source: QA :Reported: no @@ -50,6 +52,7 @@ to take care of them. Removing package maintainers ---------------------------- +:PG: 0603 :Source: QA :Reported: no |