diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment b/doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment new file mode 100644 index 000000000..eb0903def --- /dev/null +++ b/doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2015-02-09T17:09:43Z" + content=""" +`git annex drop` removes the file's content from the local repository. +It does not affect other repositories, such as in your case the server. +You could use `git annex drop --from origin` to remove the file from +the origin repository. + +If `git annex unused` is not listing the deleted file as unused, there +must be some git tag or branch that still refers to it. + +Also, `git annex dropunused` won't remove the last copy of a file unless you pass +`--force` +"""]] |