git-sync/cmd
Tim Hockin ff156800a0 Set repoReady even when there wasn't a 1st clone
E.g. if the repo is already present (after a restart).
2022-02-12 17:35:04 -08:00
..
git-sync Set repoReady even when there wasn't a 1st clone 2022-02-12 17:35:04 -08:00