On Tue, Jul 22, 2025 at 9:13 AM Nicolas George <[email protected]> wrote: > > Hendrik Leppkes (HE12025-07-22): > > Can we work towards enabling merging? > > We refused merging with pure Git not for technical reasons. Has this > changed? >
Merging does not necessarily imply an actual merge commit, but applying a PR in any fashion. - Hendrik _______________________________________________ ffmpeg-devel mailing list [email protected] https://ffmpeg.org/mailman/listinfo/ffmpeg-devel To unsubscribe, visit link above, or email [email protected] with subject "unsubscribe".
