What I'm more surprised by is: 1. GitHub operating so independently from Microsoft at large that they have their own layoffs (not included in the 10k people that Microsoft announced they'll be parting ways with). 2. GitHub operating SO INDEPENDENTLY that they can decide to go remote-first.