On 30/11/12 21:03, Chris Green wrote: <snip>
man git-rm "git-rm - Remove files from the working tree and from the index"
Yes, OK, it's just that as an infrequent user of git telling me that files are removed from "the working tree and from the index" doesn't really give me a warm feeling that I haven't deleted the file completely! :-)
LOL. :) But it's "obvious"! ;) The general workflow of git keeps adding to the history (certainly any published history) but if ever you have any doubts about something then it's quick to set up a little test git repo and play with the commands. You could even quite easily clone the git repo of interest and try on the clone.
The Git Pro book is worth at look: http://git-scm.com/book/en/Getting-Started-Git-Basics
Regards, Mike.