Did ffmpeg move their bug tracker to Forgejo?

https://code.ffmpeg.org/FFmpeg/FFmpeg/issues

I still see their old one too, but Forgejo one is nice.