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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
