On Mon, Apr 12, 2021 at 01:21:44PM +0200, Ricardo Wurmus wrote:
 Mark Wielaard <mark(a)klomp.org> writes:
 
 > I am not really happy about reusing the ikiwiki git repo for the
 > website. If you don't mind I would like to make it into its own git
 > repo so the wiki and website (I assume web.gnu.tools will replace 
 > 
www.gnu.tools later this week).
 
 Yes, a separate git repo for the web site would be good. 
OK, the website is now at
https://wiki.gnu.tools/git/gnu-tools-website/
(yes, we should move the cgit viewer to its own domain too...)
You will have to make a new clone. The files in the website directory
have been moved to top-level, but the history has been retained, and
the main branch is now called "main". The website still automatically
rebuilds on every push.
Cheers,
Mark