[[!comment format=mdwn
 username="https://www.google.com/accounts/o8/id?id=AItOawmWBvsZvSsAL8P2ye3F0OBStjFCVnOImzM"
 nickname="Jarno"
 subject="Not a bug"
 date="2014-11-28T18:25:40Z"
 content="""
This was, in fact, just an unclear error message. The command was missing \"git\", and so should have been:

    $ git annex proxy -- git pull
"""]]