diff options
-rwxr-xr-x | update_git_svn | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/update_git_svn b/update_git_svn index 552b877..a3b19f1 100755 --- a/update_git_svn +++ b/update_git_svn @@ -35,8 +35,7 @@ mirror_repo() { if ! grep -q "^\[remote \"$PUSH_MIRROR\"\]" .git/config; then return fi - # FIXME: make less noisy? - git push --thin --force "$PUSH_MIRROR" `mirrored_refs` + git push --quiet --thin --force "$PUSH_MIRROR" `mirrored_refs` } # A quick snapshot of this repository. To help check if anything changed: |