diff options
author | http://joeyh.name/ <joey@web> | 2013-06-11 14:44:47 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2013-06-11 14:44:47 +0000 |
commit | 229dcb01be60aa0ad5a39f83a91813580db74a48 (patch) | |
tree | 4a0051c0d0085c4b8d17614dc4ad947b505a0f96 /doc/bugs | |
parent | f29fb4dcbbf15aaaa8ef7ff8e20996369dc88410 (diff) |
Added a comment
Diffstat (limited to 'doc/bugs')
-rw-r--r-- | doc/bugs/Move_ssh_config_to___126____47__ssh__47__git-annex__47__config/comment_1_284c806e83a32af81b02aea7c7bc285a._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/bugs/Move_ssh_config_to___126____47__ssh__47__git-annex__47__config/comment_1_284c806e83a32af81b02aea7c7bc285a._comment b/doc/bugs/Move_ssh_config_to___126____47__ssh__47__git-annex__47__config/comment_1_284c806e83a32af81b02aea7c7bc285a._comment new file mode 100644 index 000000000..5997664e0 --- /dev/null +++ b/doc/bugs/Move_ssh_config_to___126____47__ssh__47__git-annex__47__config/comment_1_284c806e83a32af81b02aea7c7bc285a._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + nickname="joey" + subject="comment 1" + date="2013-06-11T14:44:47Z" + content=""" +The only interface git provides to do this is `GIT_SSH`, which would have to be set to a wrapper script that runs ssh with the desirned options. + +And if that were used, `git pull` by itself would not work on the repositories set up by the assistant. I don't consider that very nice. +"""]] |