A Google executive has admitted the search giant lost out on buying GitHub to Microsoft. Diane Greene Google’s head of