So I assume you know that tangled being ATProto-based was the reason for going there?

And please explain how it's not a choice when they are still on GitHub.

No, Tangled's ATProto relationship and its social features are just the only differentiating factors.

They mirrored their repo somewhere else. An additional location does not make it less friendly.