taskd/clone.sh: Don't fail on already-existing origin when previous mirroring attempt...
commit1f5a05ceaf3d5dbe12db7116e333b59d925f4dd1
authorPetr Baudis <pasky@ucw.cz>
Thu, 19 Nov 2009 21:07:34 +0000 (19 22:07 +0100)
committerPetr Baudis <pasky@rover.dkm.cz>
Thu, 19 Nov 2009 21:07:34 +0000 (19 22:07 +0100)
tree239bf7da1a47aba05609907cb0efb7dd9c1a34ca
parentfbc50d4810ef36a6936227222e90e3455c4144c3
taskd/clone.sh: Don't fail on already-existing origin when previous mirroring attempt failed
taskd/clone.sh