diff options
author | Joerg Jaspert <joerg@debian.org> | 2009-03-23 20:32:37 +0100 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2009-03-23 20:32:37 +0100 |
commit | 62dcb54865c1328c3f7dc47dee96533cdbe86f90 (patch) | |
tree | f3e45a002074db3f5f77fe3050674ce325d8ed4a /etc/secrets/.dummy | |
parent | 7aadbe90efadf7a01b2aa0f02b1b17502dac37bc (diff) |
multiple
adjust pushdelay to be longer by default
better logging for pushes
actually increase the timeout, so it should hit at some point, in staged pushes.
log if a staged push failed to find all other locks it waits for.
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to 'etc/secrets/.dummy')
0 files changed, 0 insertions, 0 deletions