@angermcs @b0rk I have been doing this for a couple of years, and it has only just occurred to me that this doesn't protect me from deleting the .git directory.