GitHub trick to find the commit that deleted a file devblogs.microsoft.com 12 points by thunderbong 2 days ago