Tony Scott: The MS/Github merger and federal software development