diff options
| author |  Matthew John Cheetham <mjcheetham@outlook.com> | 2021-12-03 13:34:28 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-12-04 21:52:24 -0800 |
| commit | d85ada7cbdc7a1ff6b98891cec87e54ea4a303ae (patch) | |
| tree | 4ba5fa07744dc433b03545ab599eaa00bda966c7 /Documentation/git-request-pull.txt | |
| parent | scalar: teach 'reconfigure' to optionally handle all registered enlistments (diff) | |
| download | tgif-d85ada7cbdc7a1ff6b98891cec87e54ea4a303ae.tar.xz | |
scalar: implement the `delete` command
Delete an enlistment by first unregistering the repository and then
deleting the enlistment directory (usually the directory containing the
worktree `src/` directory).
On Windows, if the current directory is inside the enlistment's
directory, change to the parent of the enlistment directory, to allow us
to delete the enlistment (directories used by processes e.g. as current
working directories cannot be deleted on Windows).
Co-authored-by: Victoria Dye <vdye@github.com>
Signed-off-by: Matthew John Cheetham <mjcheetham@outlook.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-request-pull.txt')
0 files changed, 0 insertions, 0 deletions