[nik736]

I don't think they have to do anything here, GitHub is a different entity and afaik they want to keep it separated.