gitindex: disable git cat-file optimization by default#1038

keegancsmith merged 1 commit into

mainsourcegraph/zoekt:mainfrom

k/disablesourcegraph/zoekt:k/disableCopy head branch name to clipboard