Fix blowup in gitrepo (for now, anyway)