tree c2631975b9977e02004647f1c740974db82aafe8
parent df01883f9b09adcd13f42971a102812f1148408e
author Shawn O. Pearce <sop@google.com> 1237483032 -0700
committer Shawn O. Pearce <sop@google.com> 1237483032 -0700

Fix repo re-init in a mirror to not prompt

On a mirror client we don't prompt for user.name,user.email as the
data is only necessary if you will make new commits.  On a re-init
we were testing the command line option, not the existing IsMirror
property from the manifest configuration file.

Signed-off-by: Shawn O. Pearce <sop@google.com>