When Microsoft bought GitHub back in 2018, the idea was simple: put the world’s largest developer platform under the wing of one of tech’s biggest players. Seven years later, that partnership is ...