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 --- contribute.md | 2 +- haunt.scm | 2 +- roles.md | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/contribute.md b/contribute.md index dc8d7f7..a296d04 100644 --- a/contribute.md +++ b/contribute.md @@ -19,7 +19,7 @@ the Assembly are as follows: that applies. 3. Introduce yourself on the list and propose changes adding you to the [software page](/en/software) - ([source](https://wiki.gnu.tools/git/gnu-tools-website/tree/projects.scm)), + ([source](https://git.gnu.tools/git/gnu-tools-website/tree/projects.scm)), which a [committer](/en/documents/roles) will apply for you. Let’s connect the software packages and the people behind them! diff --git a/haunt.scm b/haunt.scm index 3b3f540..c495989 100644 --- a/haunt.scm +++ b/haunt.scm @@ -126,7 +126,7 @@ (a (@ (href "https://creativecommons.org/licenses/by-sa/4.0/")) "Creative Commons Attribution-ShareAlike 4.0 " "International License") ". " - (a (@ (href "https://wiki.gnu.tools/git/gnu-tools-website")) + (a (@ (href "https://git.gnu.tools/git/gnu-tools-website")) "Source of this site") ".")))))) (define read-markdown 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