diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-08-03 12:37:12 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-08-03 12:37:12 -0400 |
| commit | 508517de485e77196a8d8e33558f4185c50dea96 (patch) | |
| tree | 319fc6e63da144e40dd124a07f4bb6c0ad25c5ee /Git/AutoCorrect.hs | |
| parent | 019733f00d01301d71acc46245d2dc130934d951 (diff) | |
get, move, copy, mirror: Added --failed switch which retries failed copies/moves
Note that get --from foo --failed will get things that a previous get --from bar
tried and failed to get, etc. I considered making --failed only retry
transfers from the same remote, but it was easier, and seems more useful,
to not have the same remote requirement.
Noisy due to some refactoring into Types/
Diffstat (limited to 'Git/AutoCorrect.hs')
0 files changed, 0 insertions, 0 deletions