Add --depth 1 to speed up git-refresh-from-remote.