> -----Original Message----- > From: ffmpeg-devel <ffmpeg-devel-boun...@ffmpeg.org> On Behalf Of Timo > Rothenpieler > Sent: Thursday, December 23, 2021 3:17 PM > To: ffmpeg-devel@ffmpeg.org > Subject: Re: [FFmpeg-devel] GitHub Integration > > On 23.12.2021 14:59, Tomas Härdin wrote: > > This sounds like something that will cause problems in the long run. > > Github will inevitably be brought into the project's workflow. People > > will start submitting tickets on Github rather than our trac. And so > > on. > > issues are disabled on Github. > Otherwise, they'd be used for that constantly already.
The test setup is located in a separate repository right now. (anybody just drop me a note and I'll send the link) What's also important to mention is that the pull request conversations are looped through the mailing list. There is no side-stepping or splitting of conversations: nobody on the ML will miss anything important, except all the pre-submission validation. There are various checks performed before a user can even submit, and we can also make it mandatory that compilation does not error and FATE tests are being passed, so patchsets won't even hit the ML otherwise. Kind regards, softworkz _______________________________________________ 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".
