diff options
author | 2018-04-14 20:09:43 +0200 | |
---|---|---|
committer | 2018-04-14 23:04:08 +0200 | |
commit | ddf2e2103012575f18a569e8ab0bbf38bf422dbd (patch) | |
tree | 0e442bb36d2932d1c3f513ef55d3787418b6b1af /inside-gentoo | |
parent | 'Free Software' should be 'free software'. (diff) | |
download | www-ddf2e2103012575f18a569e8ab0bbf38bf422dbd.tar.gz www-ddf2e2103012575f18a569e8ab0bbf38bf422dbd.tar.bz2 www-ddf2e2103012575f18a569e8ab0bbf38bf422dbd.zip |
developers: Note repo/gentoo.git commit access
Diffstat (limited to 'inside-gentoo')
-rw-r--r-- | inside-gentoo/developers/index.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/inside-gentoo/developers/index.html b/inside-gentoo/developers/index.html index a7bb819..b9699a0 100644 --- a/inside-gentoo/developers/index.html +++ b/inside-gentoo/developers/index.html @@ -26,6 +26,10 @@ layout: page-nav3 </p> <p> + <span class="bg-success">[g]</span> indicates developers with commit access to <kbd>repo/gentoo.git</kbd> repository. +</P> + +<p> Before contacting anyone, check that they are not <a href="unavailable-developers.html">away</a>! </p> @@ -44,6 +48,9 @@ layout: page-nav3 {% else %} <strong>{{ entry[0] }}</strong> {% endif %} + {% if entry[1].commitaccess %} + <sup class="bg-success">[g]</sup> + {% endif %} <br> {{ entry[1].name | xml_escape }} </td> |