git.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* Really remove a file ?
@ 2008-10-09 18:12 marcreddist
  2008-10-09 18:56 ` Alex Riesen
  0 siblings, 1 reply; 6+ messages in thread
From: marcreddist @ 2008-10-09 18:12 UTC (permalink / raw)
  To: git

Hi,





I'm a new git user for some weeks or so and well i think git is 
awesome. I didn't read all the online docs and mans yet, but i'm 
already really impressed by it's power. Thanks everyone for this 
helpful tool.



Right now i think i need some help. I started to work for a project, 
and everything went fine. But I noticed someone placed a huge data file 
in the repository. This file shouldn't have been here at the first 
place. So I deleted it with git-rm. But that wasn't clever because now, 
"git log -p" or "git log -S'something'" are really really slow. Also 
diffs are huge and lots of command results are hard to read.



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 ?





Thank you again,

--

Marc R.

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2008-10-10 20:51 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-10-09 18:12 Really remove a file ? marcreddist
2008-10-09 18:56 ` Alex Riesen
2008-10-09 23:43   ` Stefan Karpinski
2008-10-10  9:38     ` marcreddist
2008-10-10 14:32       ` Björn Steinbrink
2008-10-10 20:50         ` Stefan Karpinski

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).