This change only consists of a single commit based on master at cgit.krebsco.de/krops; this Github repo is out of date.
Copy of commit msg
This is the expected behavior.
The SSH config is also implicitly used for other SSH-related settings.
Extra rationale
I just spent a bit too much time helping a novice user with deployment issues.
It turned out he had set a nonstandard port in his SSH config and I didn't expect that krops hardcoded the port.
This change only consists of a single commit based on
master
atcgit.krebsco.de/krops
; this Github repo is out of date.Copy of commit msg
This is the expected behavior. The SSH config is also implicitly used for other SSH-related settings.
Extra rationale
I just spent a bit too much time helping a novice user with deployment issues. It turned out he had set a nonstandard port in his SSH config and I didn't expect that krops hardcoded the port.