I accidentally deleted a file from a git-annex repository with a plain "rm". How can I restore it from other repositories that have it? I tried using git annex copy --from $REMOTE $REMOVED_FILE but git-annex complaints about $REMOVED_FILE not found I suppose that I could switch to indirect mode and do checkout and older version, but I'd prefer not to. My repository contains thousands of quite big files; it would take a lot of time and the probability of something going wrong during the conversion is quite high (see other bugs reported during import). I'm using git-annex 5.20141024-g613f396.