RichiH/vcsh — pull request #39 by jsternberg (2013-03-08 21:50:14+00:00)
Title: Use rm -f when removing a git repo.

Git repos place the files as write-protected by default, so the
vcsh delete operation requires the user to typo 'y' repeatedly as the
repo is deleted. Using -f removes the repository properly.