> -----Original Message----- > From: ffmpeg-devel <ffmpeg-devel-boun...@ffmpeg.org> On Behalf Of Tomas > Härdin > Sent: Thursday, December 23, 2021 3:00 PM > To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org> > Subject: Re: [FFmpeg-devel] GitHub Integration > > ons 2021-12-22 klockan 23:24 +0000 skrev Soft Works: > > Hi, > > > > holidays are approaching and I got a little present for all of you > > even though it won’t be something for everybody. > > > > A while ago I had committed to prepare a test setup for integrating > > GitHub in a similar way as the Git developers are doing. > > > > For those who missed it or don’t remember the outcome: > > https://www.mail-archive.com/ffmpeg-devel@ffmpeg.org/msg123329.html > > https://www.mail-archive.com/ffmpeg-devel@ffmpeg.org/msg123288.html > > > > Before someone’s temperature might start rising, I want to repeat > > some important corner points: > > > > - it's not a migration nor the start of a migration > > - nothing changes, it doesn't affect anybody's way of working > > it doesn't replace anything > > - it's an add-on that one could use or not > > > > Basic functionality is that it allows to submit patches to the ML > > through GitHub pull requests. > > 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 and hidden. sw _______________________________________________ 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".
