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
signature.asc
Description: PGP signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".
