I'm seeing a growing trend where a dev's core repo moves to a new platform, but leaves a mirror on github with a link to the main repo. I love this solution.