projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de4d50e) | patch
make git-annex:git-annex push quiet again
authorJoey Hess <joeyh@joeyh.name>
Fri, 17 Feb 2017 18:00:01 +0000 (14:00 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 17 Feb 2017 18:03:17 +0000 (14:03 -0400)
commit4594bece407c18f4f1b96ea7c20d85c42ce3072c
tree340f50ca9d9760ec87cf6d99329af2d2556581d4tree | snapshot
parentde4d50e9d09ccd2518ac5e0c5e5f1b1a17a824cecommit | 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.
Command/Sync.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.