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