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 /.bash_profile | |
| 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 '.bash_profile')
0 files changed, 0 insertions, 0 deletions