diff options
| author | Mike Frysinger <vapier@google.com> | 2020-02-19 19:19:18 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2020-02-20 00:51:42 +0000 |
| commit | c0d1866b35d3e8d0bee3760a9f52574fa2ab8491 (patch) | |
| tree | c6be761e1dbf5e93dfe499e8f53d90386a2d6769 /docs | |
| parent | f81c72ed7727ca408d1859a86c56b532a8de8d59 (diff) | |
| download | git-repo-c0d1866b35d3e8d0bee3760a9f52574fa2ab8491.tar.gz | |
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>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions