https://twitter.com/GeorgiaTrumpett/status/1245538456866033664
https://federalnewsnetwork.com/fiscal-2019-federal-contracting-playbook/2018/11/what-ibms-34b-red-hat-deal-means-for-federal-it/
The data indicates that fiscal 2018 was Red Hat's biggest year in federal sales, at $131 million to date, with the Defense Department yet to report the majority of its fourth-quarter obligations. The Pentagon has been Red Hat's largest government customer by far, accounting for 50 percent of its revenue over a five-year period.