MS may still be the type of company to change it’s mind about upholding the principles that GitHub runs on.