git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Really remove a file ?

From
Mmarcreddist@aim.com <marcreddist@aim.com>
Date
Oct 9, 2008, 18:12 UTC
Message-ID
<8CAF851B91FEF07-660-20E9@webmail-da15.sysops.aol.com>
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.
Next: Alex Riesen
Message 1 of 6 in “Really remove a file ?”
  1. marcreddist@aim.comOct 9, 2008
  2. Alex RiesenOct 9, 2008
  3. Stefan KarpinskiOct 9, 2008
  4. marcreddist@aim.comOct 10, 2008
  5. Björn SteinbrinkOct 10, 2008
  6. Stefan KarpinskiOct 10, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.