Added a comment

This commit is contained in:
https://openid.stackexchange.com/user/3ee5cf54-f022-4a71-8666-3c2b5ee231dd 2015-01-01 19:05:20 +00:00 committed by admin
parent d62eaba1b0
commit 7294439e1f

View file

@ -0,0 +1,12 @@
[[!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...')
"""]]