mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

comment

Browse source
This commit is contained in:
Joey Hess 2015-02-09 13:14:29 -04:00
parent 5011c1227c
commit 4a11188bc6
1 changed files with 16 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

16
doc/forum/git_annex_drop_not_freeing_space_on_filesystem/comment_1_ce1b32c2765edb695e5d9dc8f0ac86e3._comment Normal file
View file

@ -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`
"""]]