diff options
author | 2015-01-01 19:05:20 +0000 | |
---|---|---|
committer | 2015-01-01 19:05:20 +0000 | |
commit | 25761748a79bd1ccb0bb74740b1f840df022468b (patch) | |
tree | 12f99d8e1c2d88a3a77bf3343f404e4d3e062d02 | |
parent | ba2e8a34285681bb7285bb73e8eba1307bc02d28 (diff) |
Added a comment
-rw-r--r-- | doc/bugs/git_annex_sync_can_commit_files_to_.git__47__objects_instead_of_.git__47__annex/comment_1_cf46f75c87a27cfc6883bcdb10fecf50._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/bugs/git_annex_sync_can_commit_files_to_.git__47__objects_instead_of_.git__47__annex/comment_1_cf46f75c87a27cfc6883bcdb10fecf50._comment b/doc/bugs/git_annex_sync_can_commit_files_to_.git__47__objects_instead_of_.git__47__annex/comment_1_cf46f75c87a27cfc6883bcdb10fecf50._comment new file mode 100644 index 000000000..cb71e7015 --- /dev/null +++ b/doc/bugs/git_annex_sync_can_commit_files_to_.git__47__objects_instead_of_.git__47__annex/comment_1_cf46f75c87a27cfc6883bcdb10fecf50._comment @@ -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...') +"""]] |