diff options
Diffstat (limited to 'roles.md')
-rw-r--r-- | roles.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -55,7 +55,7 @@ This web site is maintained collaboratively, with discussions happening | |||
55 | on the [assembly mailing | 55 | on the [assembly mailing |
56 | list](https://lists.gnu.tools/hyperkitty/list/assembly@lists.gnu.tools/). | 56 | list](https://lists.gnu.tools/hyperkitty/list/assembly@lists.gnu.tools/). |
57 | A subset of the participants has commit access to the [underlying Git | 57 | A subset of the participants has commit access to the [underlying Git |
58 | repository](https://wiki.gnu.tools/git/gnu-tools-website). | 58 | repository](https://git.gnu.tools/git/gnu-tools-website). |
59 | 59 | ||
60 | Current web site committers (since Apr. 2021): | 60 | Current web site committers (since Apr. 2021): |
61 | 61 | ||
@@ -70,7 +70,7 @@ Current web site committers (since Apr. 2021): | |||
70 | 70 | ||
71 | The [wiki](https://wiki.gnu.tools) administrators can be contacted at | 71 | The [wiki](https://wiki.gnu.tools) administrators can be contacted at |
72 | `wiki@gnu.tools` to get access to this wiki through | 72 | `wiki@gnu.tools` to get access to this wiki through |
73 | [Git](https://wiki.gnu.tools/git/gnu-tools-wiki/tree/). | 73 | [Git](https://git.gnu.tools/git/gnu-tools-wiki/tree/). |
74 | 74 | ||
75 | Current administrators (since Jan. 2020): | 75 | Current administrators (since Jan. 2020): |
76 | 76 | ||