diff --git a/vcsh b/vcsh index 159feda47f9355a0e7cda30a2797b772d8d54288..15ea0984f87a0540caef0c146fb76ca481d2bf86 100755 --- a/vcsh +++ b/vcsh @@ -246,6 +246,11 @@ push() { hook post-push } +retire() { + unset GIT_WORK_TREE + unset VCSH_DIRECTORY +} + rename() { git_dir_exists [ -d "$GIT_DIR_NEW" ] && fatal "'$GIT_DIR_NEW' exists" 54