Indeed. This moves them closer to reversing that. Now to complete that, all that has to happen is for GitHub to move to Azure. They probably wouldn't want to do that now because it would look like they were implementing the merger before regulatory approval.