EU antitrust ruling on Microsoft buy of GitHub due by October 19