CI: reduce bandwidth for git pull