Also, I am never entirely happy with annex-ignore. It may be that some change could make it work better. Perhaps if the user tries to interact with a remote by name, and it's ignored, and has no uuid, git-annex should unignore it and re-probe for the UUID. This would be consitent with the existing behavior of naming an ignored remote that does have a UUID causing the ignore to be overridden.
Also it could be that you just said "git annex get file"
and the file was on the ignored remote. In that case, you get:
joey@darkstar:~/tmp/yyy>git annex get
get bob (not available)
Try making some of these repositories available:
e123dff2-a96f-4158-8177-a360825b52c0 -- origin (joey@darkstar:~/tmp/xxx)
I have made it add a note:
(Note that these git remotes have annex-ignore set: origin)
--
see shy jo
signature.asc
Description: Digital signature
