From 1c821a1ac6d1450b195d78cdb3bf48b0235908c3 Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Mon, 3 May 2021 00:45:46 +0200 Subject: Switch git links from wiki to git.gnu.tools --- roles.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'roles.md') diff --git a/roles.md b/roles.md index d461f29..ce09a29 100644 --- a/roles.md +++ b/roles.md @@ -55,7 +55,7 @@ This web site is maintained collaboratively, with discussions happening on the [assembly mailing list](https://lists.gnu.tools/hyperkitty/list/assembly@lists.gnu.tools/). A subset of the participants has commit access to the [underlying Git -repository](https://wiki.gnu.tools/git/gnu-tools-website). +repository](https://git.gnu.tools/git/gnu-tools-website). Current web site committers (since Apr. 2021): @@ -70,7 +70,7 @@ Current web site committers (since Apr. 2021): The [wiki](https://wiki.gnu.tools) administrators can be contacted at `wiki@gnu.tools` to get access to this wiki through -[Git](https://wiki.gnu.tools/git/gnu-tools-wiki/tree/). +[Git](https://git.gnu.tools/git/gnu-tools-wiki/tree/). Current administrators (since Jan. 2020): -- cgit v1.2.1