The Jesus Quote You’ll Never Hear in Church

Sometimes when you first install git you realize you added a bunch of crap
to your repository, which makes it bloated. Or maybe you have junk files
like .DS_STORE lying around that you want to keep out of your git goodness.

Here’s how to delete from your repository without deleting them from your
disk.

# git rm -rf –cached $FILES

Then commit, push, and then pull on any remote repositories.

If you want to delete them from your disk as well you can just omit the
–cached bit.

# git rm -rf $FILES

Finally, to keep this from happening in the first place, you can use a
.gitignore file to keep certain content from going into your repository.
Just wildcard the stuff you’re looking for with asterisks and make a list of
those strings in your ignore file.