Microsoft's GitHub merge is complete