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/