tree 85a8def80f740c92591fdfe2deaf0a68aae67faf
parent 8a54a7eac38070abf948524805b11e91471de401
author Mike Frysinger <vapier@google.com> 1660900606 -0400
committer Mike Frysinger <vapier@google.com> 1661201270 +0000

launcher: initialize repo in a temp dir

In case something goes wrong in the initial setup of the repo dir,
clone it into a temporary .repo/repo.tmp/ directory first, and then
rename it only when things have finished fully.

Bug: https://crbug.com/gerrit/13526
Change-Id: Ib0f5a975e4d436b0fb616fac70f5789c4e02a61a
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/343537
Reviewed-by: LaMont Jones <lamontjones@google.com>
Tested-by: Mike Frysinger <vapier@google.com>