On Thu, Feb 23, 2023 at 07:39:51PM +0100, Christian Weisgerber wrote:
> How are git.gameoftrees.org and got.gameoftrees.org kept in sync?

got.g.o is syncing form git.g.o every 5 minutes.

> Is this safe?
> remote "origin" (fetch): ssh://anonymous@got.gameoftrees.org/got.git
> remote "origin" (send): ssh://stsp_gitolite@git.gameoftrees.org/got.git

As long as you don't use got send -f / git push -f, nothing bad
will happen.

I would recommend that committers to keep using the gitolite setup as
primary reference until we decide that it is time to switch to gotd.