List of mergers and acquisitions by Red Hat