GitHub - LRitzdorf/TheJeffDeanFacts: A consolidated list of the Jeff Dean Facts!