[matkv]

So is this now just a mirror? I'm not sure what the point of moving to GitHub was then.

[IshKebab]

It's the primary repo rather than a mirror, but yeah I agree it they don't get most of the benefits. Moving issues and PRs is probably an enormous effort so I get why they aren't doing it all at once.