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/