It's from a previous commit, but I think you could also make the final statement in `sync_gitless_project_mirror_with_cloud` more robust by changing it from `git("checkout master")` to `git("reset --hard master")`.  The latter is more what you want -- clear out everything, don't look for remote branches to mirror, etc.