[[!comment format=mdwn
 username="joey"
 subject="""comment 6"""
 date="2017-10-30T16:04:24Z"
 content="""
You should be able to run `git annex export` in the bare git repository on
your server. It just needs the branch you want to export to be known to
git, and the annexed file contents to be available there.
"""]]