Hi

On Sat, Jul 26, 2025 at 10:41:57PM +0200, Timo Rothenpieler wrote:
[...]
> Here's an idea I had to make the transition a bit more rapid:
>

>  - Retire git.videolan.org, make it a pure mirror nobody can push to (except
> the mirror script).

+1


>  - Make source.ffmpeg.org point to git.ffmpeg.org instead. This will cause
> host key mismatches for everyone, but if it's clearly announced, with the
> new host keys in the announcement, it should not be too horrible.

+1

The 2 steps above also remove the one special case we have and should simplify
the git setup


>  - Set up git.ffmpeg.org to forward all pushes to code.ffmpeg.org, without
> them ever hitting the local repo

At first glance this sounds like a reasonable step, if it has been tested


>  - code.ffmpeg.org then becomes the main repo, so the merge button can be
> enabled without causing a split-brain situation.

clear improvment, yes


>  - The same mirror scripts will then keep git.ffmpeg.org up to date for
> pulling.
>

> This allows people to keep their current workflow without being forced to
> sign up on Forgejo, while allowing Forgejo to be fully operational.
> Worst that might happen is for people who push directly to g.v.o, who will
> have to reconfigure their remote.
>

yes


[...]
-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

I do not agree with what you have to say, but I'll defend to the death your
right to say it. -- Voltaire