Home
Optimizing reference deletions in Git
8 points by fastpenguin