diff --git a/src/gl-mirror-push b/src/gl-mirror-push index addbd96..4855c1b 100755 --- a/src/gl-mirror-push +++ b/src/gl-mirror-push @@ -70,14 +70,14 @@ exec >>$logfile 2>&1 ' + echo `date +%F.%T` $repo '===>' for s in $slaves do [ "$s" = "$hn" ] && continue # skip ourselves git push --mirror $s:$repo || echo ==== WARNING: RC=$? from git push --mirror $s:$repo ==== done 2>&1 | sed -e "s/^/ /" - echo `date +%T` '===>' $slaves + echo `date +%F.%T` '===>' $slaves echo ) 2>&1 | sed -e "s/^/$job_id:/" & # background the whole thing )