diff -r 12ecf11f8eab -r b5d329f7fe95 src/Pure/Tools/phabricator.scala --- a/src/Pure/Tools/phabricator.scala Sat Jan 04 21:33:08 2025 +0100 +++ b/src/Pure/Tools/phabricator.scala Sat Jan 04 23:14:10 2025 +0100 @@ -777,6 +777,9 @@ /** setup ssh **/ + // see also https://we.phorge.it/book/phorge/article/diffusion_hosting/#sshd-setup + + /* sshd config */ private val Port = """^\s*Port\s+(\d+)\s*$""".r