And please explain how it's not a choice when they are still on GitHub.
They mirrored their repo somewhere else. An additional location does not make it less friendly.
They mirrored their repo somewhere else. An additional location does not make it less friendly.