Is anyone follows https://libav.org development? I was under the impression they merged back with FFmpeg when Michael Niedermayer resigned as leader. Now I see they still make their own releases. So merge ultimately did not happen?

EDIT: Just found that FFmpeg merges (almost) all libav.org changes: https://github.com/FFmpeg/FFmpeg/blob/master/doc/libav-merge...