[[!comment format=mdwn
 username="https://openid.stackexchange.com/user/3ee5cf54-f022-4a71-8666-3c2b5ee231dd"
 nickname="Anthony DeRobertis"
 subject="comment 1"
 date="2015-01-01T19:05:19Z"
 content="""
Wow, the `git filter-branch -f --index-filter 'git rm --cached --ignore-unmatch 100mb-3' HEAD` that you'd expect to remove the file doesn't work—`git annex sync` merges it right back in from one of its internal branches (filtering `synced/master` too seems to work).

I'd hate to think of the mess had I actually had remotes. Good thing this is a test repository!

(It *almost* happened on a real one, but I control-C'd it before it committed, after wondering 'why is it taking forever...')
"""]]
