On Sat, 28 Jun 2025, Michael Niedermayer wrote:
Its a few years since the last change to fateserver, i think we dont
have a script to update the checkout on the server from a git push.
Its a while, i dont remember exactly :)
so you have to update that checkout after pushing possibly
I don't think I have access to any such server,
I think you do, i see a ssh-rsa key for martin@sphere for
f...@fate.ffmpeg.org
but if it's ok with you can
I (try to) push this patch to the gitosis repo,
yes, we use gitolite not gitosis though
Ok - I've pushed the patch to g...@git.ffmpeg.org:fateserver.git now.
It's not obvious if the change is deployed in practice or not, until we
have another case of breakage where compiling some test binaries fail - so
we'll need someone to check.
// Martin
_______________________________________________
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".
