GitHub faces a fight for its survival at Microsoft