[PATCH] Speed up git-merge-base a lot