Sometimes you do silly things. Like check big binary files into source control. Ones that shouldn't be in source control. This causes problems. Okay, well not really problems, but it has some effects. Cloning the repository takes longer, of course, since there are big files, and other operations can take longer too. But fret not! If you need to purge files from Git, you can. Now, you can't just remove the file, since it's still technically in th…