Copy real version of git-extract