[[!comment format=mdwn
 username="joey"
 subject="""comment 6"""
 date="2017-11-13T17:09:31Z"
 content="""
The git bug is fixed in git's `pu` branch, or as Peff says,
at least "papered over", and I've tested the fix with git-annex and
it seems to avoid the problem. So as long as
5eb0e541132208a9027cc090943276fa52f29c71 gets into a git release,
this bug can be closed without any changes to git-annex.
"""]]
