GitHub trick to find the commit that deleted a filedevblogs.microsoft.com14 pointsthunderbong2 years ago