fix STOP
This commit is contained in:
parent
fa0cf81b26
commit
9a4a3bfb43
2 changed files with 6 additions and 10 deletions
|
@ -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.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue