src/Pure/Tools/phabricator.scala

--- a/src/Pure/Tools/phabricator.scala	Mon Dec 16 19:58:11 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Dec 16 20:43:40 2019 +0100
@@ -784,6 +784,7 @@
     for (config <- configs) {
       progress.echo("phabricator " + quote(config.name) + " port " +  server_port)
       config.execute("config set diffusion.ssh-port " + Bash.string(server_port.toString))
+      if (server_port == 22) config.execute("config delete diffusion.ssh-port")
 
       if (test_server) {
         progress.bash(