Timo Rothenpieler (HE12025-07-26): > 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). > - 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. > - Set up git.ffmpeg.org to forward all pushes to code.ffmpeg.org, without > them ever hitting the local repo > - code.ffmpeg.org then becomes the main repo, so the merge button can be > enabled without causing a split-brain situation. > - 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.
And, unless I am mistake, it lets us go back rather painlessly. Which raises the question: Why have you not done that BEFORE announcing the test? Let us pull the plug on this failed experiment and give you some more time to properly prepare it. Regards, -- Nicolas George _______________________________________________ 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".
