tree c6be761e1dbf5e93dfe499e8f53d90386a2d6769
parent f81c72ed7727ca408d1859a86c56b532a8de8d59
author Mike Frysinger <vapier@google.com> 1582157958 -0500
committer Mike Frysinger <vapier@google.com> 1582159902 +0000

project/sync: move DeleteProject helper to Project

Since deleting a source checkout involves a good bit of internal
knowledge of .repo/, move the DeleteProject helper out of the sync
code and into the Project class itself.  This allows us to add git
worktree support to it so we can unlock/unlink project checkouts.

Change-Id: If9af8bd4a9c7e29743827d8166bc3db81547ca50
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/256072
Reviewed-by: Jonathan Nieder <jrn@google.com>
Tested-by: Mike Frysinger <vapier@google.com>