[[!comment format=mdwn
 username="Ilya_Shlyakhter"
 avatar="http://cdn.libravatar.org/avatar/1647044369aa7747829c38b9dcc84df0"
 subject="comment 2"
 date="2019-08-26T20:58:13Z"
 content="""
Oh, sorry -- I remembered reading on some doc page that export remotes are like git remotes except they do not contain regular git files, or something to that effect; I must have misunderstood.
"""]]
