diff options
author | Joey Hess <joey@kitenet.net> | 2014-04-08 13:51:49 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-04-08 13:51:49 -0400 |
commit | f2426676defafecc904234de3522f57ebf7ab19d (patch) | |
tree | 4b7b071b9f6029fb84d619a0df98454e3a7d1a32 /doc | |
parent | 6e47a1412175cbc00f44ea8dc663ad83331cfb6d (diff) |
fix STOP
Diffstat (limited to 'doc')
-rw-r--r-- | doc/design/git-remote-daemon.mdwn | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/design/git-remote-daemon.mdwn b/doc/design/git-remote-daemon.mdwn index ad41fa447..6b8e0646f 100644 --- a/doc/design/git-remote-daemon.mdwn +++ b/doc/design/git-remote-daemon.mdwn @@ -160,8 +160,6 @@ No pushing is done for CHANGED, since git handles ssh natively. TODO: -* It already detects changes and pulls, but it then dies with a protocol - error. * Remote system might not be available. Find a smart way to detect it, ideally w/o generating network traffic. One way might be to check if the ssh connection caching control socket exists, for example. |