I'm not sure it's bound to happen. They're owned by a trillion dollar company and Github is a super important tool in their overall developer strategy.