Comment by pxeger1

Did he resign because he wants to do something different, and Microsoft decided not to replace him and bring GitHub deeper into Microsoft? Or did Microsoft decide to bring it deeper into the company, removing his position in the process? Maybe a bit of the former, but definitely mostly the latter.