GitHub under Microsoft umbrella. No major separate layoffs. Integrated into Microsoft structure.