<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Miscellaneous :: Dimitar's CBA Blog</title><link>https://dimitar.pages.cba.mit.edu/blog/misc/index.html</link><description>Miscellaneous Posts</description><generator>Hugo</generator><language>en-us</language><atom:link href="https://dimitar.pages.cba.mit.edu/blog/misc/index.xml" rel="self" type="application/rss+xml"/><item><title>Removing a Big File from Git</title><link>https://dimitar.pages.cba.mit.edu/blog/misc/remove_big_file/index.html</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://dimitar.pages.cba.mit.edu/blog/misc/remove_big_file/index.html</guid><description>If you accidentally commit a big file:
git reset HEAD~1 And that’s it!
What if it wasn’t the last commit Run rebase -i --root. This will open a file. Find the bad commit and replace the word pick with the word edit (or just the letter e). Save and quit the file. Fix your mistake (e.g. compress the file). Run git add &lt;the file>. Run git rebase --continue.
What if you want to save space locally If you want to remove the object from your local .</description></item></channel></rss>