diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-06-15 10:48:46 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-06-15 10:48:46 +0000 |
commit | f3430695ab81ab6177a73fc868040788efb1794f (patch) | |
tree | aa80a3c29ff08faa8e0c98acb0dd5d8367537bf6 | |
parent | 65c852531980701575bdd2109cbcb22999812cab (diff) |
Avoid extraneous output from git downloading all gerrit changesets
Use "git fetch --quiet" instead of "git remote update".
Additionally, place gerrit changesets under their natural prefix
"refs/changes/*"
Change-Id: I7123913d50a84884d3df26ea0f65d863498cfe9e
-rw-r--r-- | lib/retrieve.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/retrieve.sh b/lib/retrieve.sh index d1bbe3a9..15ad5e82 100644 --- a/lib/retrieve.sh +++ b/lib/retrieve.sh @@ -106,7 +106,7 @@ retrieve() # changes by default. Since the git reference repos are # generated by this logic, most of the gerrit changes will # already be present in the reference. - dryrun "git clone ${git_reference_opt} -n --config 'remote.origin.fetch=+refs/changes/*:refs/remotes/changes/*' ${repodir} ${local_snapshots}/${repo}" + dryrun "git clone ${git_reference_opt} -n --config 'remote.origin.fetch=+refs/changes/*:refs/changes/*' ${repodir} ${local_snapshots}/${repo}" if test $? -gt 0; then error "Failed to clone master branch from ${url} to ${local_snapshots}/${repo}" return 1 @@ -125,7 +125,7 @@ retrieve() retrieve_clone_update() { # update local clone with all refs, pruning stale branches - dryrun "git -C ${local_snapshots}/${repo} remote update --prune > /dev/null" + dryrun "git -C ${local_snapshots}/${repo} fetch --all --prune --quiet" if test $? -gt 0; then error "Failed to update from ${url} to ${local_snapshots}/${repo}" return 1 |