Hi, I am trying to use git annex to store some of the files on my laptop on an external drive. However, after running git annex sync --content on both repositories and then trying to run git annex drop <file> doesn't free up any space on the local laptop repository (in fact it doesn't give any terminal output). Can anyone point me in a direction to solve this?

Edit. Wth? Even git annex drop --force doesn't work. Is there some obvious thing I'm missing?