diff options
author | 2015-11-10 16:52:30 -0400 | |
---|---|---|
committer | 2015-11-10 16:52:30 -0400 | |
commit | c64d99fcbfef09a4d6088c245bba80001eb6bf2d (patch) | |
tree | 33d4bb8b4998cc9494cbddd7c6a6c36b935fa89d /INSTALL | |
parent | 42863c94b1b1dd8d831555febbbbbba3e6a6de02 (diff) |
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.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions