assistant: Pass ssh-options through 3 more git pull/push calls that were missed before.
authorJoey Hess <joeyh@joeyh.name>
Tue, 10 Nov 2015 20:52:30 +0000 (16:52 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 10 Nov 2015 20:52:30 +0000 (16:52 -0400)
commit7c741302ccefab9e4fd73ade5b5cd994c4ae2dd0
treee5e136e9503ed978ec038924e629bd307384e870
parent4cc95f3fd3128182e8ea449fffc8c21253e65f08
assistant: Pass ssh-options through 3 more git pull/push calls that were missed before.

It was used for regular pull, but not for regular push, tagged push, or the
fallback fetching.
Annex/Ssh.hs
Assistant/Sync.hs
debian/changelog
doc/bugs/annex-ssh-options_seem_to_be_ignored_in_some_occasion_by_the_assistnat.mdwn
doc/bugs/annex-ssh-options_seem_to_be_ignored_in_some_occasion_by_the_assistnat/comment_1_ee684ab3e96a1c1317562d8228d41463._comment [new file with mode: 0644]