diff options
author | 2017-02-17 14:00:01 -0400 | |
---|---|---|
committer | 2017-02-17 14:03:17 -0400 | |
commit | 5b64144c2fb989f9799c1ec328b442b504b1d10f (patch) | |
tree | b1092582dba0863c9143d4a65697bda50b65f800 /Backend/Utilities.hs | |
parent | ee07d1d35324c40bd15c855676f3f6300dc87a76 (diff) |
make git-annex:git-annex push quiet again
Recent changes had a side effect of displaying errors in the fairly
common case when this push fails. Since the synced/git-annex push
is always forced, those errors are noise, so hide again.
This means 3 separate pushes are done now, where before it only made 2.
A bit more expensive, but ssh connection caching eliminates most of
the costs.
This commit was sponsored by Boyd Stephen Smith Jr. on Patreon.
Diffstat (limited to 'Backend/Utilities.hs')
0 files changed, 0 insertions, 0 deletions