clone/update: use same GIT_SSL_NO_VERIFY option for prune
commitb94e2a5ec389848f8013d587d993ee39c5efe8ea
authorKyle J. McKay <mackyle@gmail.com>
Thu, 25 Jul 2013 21:01:14 +0000 (25 14:01 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Thu, 25 Jul 2013 21:01:14 +0000 (25 14:01 -0700)
treec07de8e0f76e50aa6ef527c22aa56e7e28366ed1
parent3ad38938a994c1d5cfedc0b81c6564898844498e
clone/update: use same GIT_SSL_NO_VERIFY option for prune

The GIT_SSL_NO_VERIFY=1 option is used so that https source
repositories can be cloned without needing to verify the source's
SSL certificate.  However, the 'git prune' command also contacts
the remote repository and so it requires the same option.
jobd/update.sh
taskd/clone.sh