From: Alex Riesen <raa.lkml@gmail.com>
Date: Thu, 09 Oct 2008 18:56:35 GMT
Subject: Re: Really remove a file ?
Message-ID: <81b0412b0810091156v15dea27an95050a06cfb4f8df@mail.gmail.com>
In-Reply-To: <8CAF851B91FEF07-660-20E9@webmail-da15.sysops.aol.com>

2008/10/9  <marcreddist@aim.com>:
> So is there a way to really remove a file in the git repository so that it
> never existed (I mean not having the diff in the logs and the data stored
> somewhere in the .git directory) ? Or if it's not the was git is supposed to
> be used, is there a way to hide the diff (even from git-log) or something ?

Yes. But you'll change the whole history (of course, it should _never_
mention the file).
See git filter-branch (there is even an example at the end of its man page.
Replace mv with rm)