nix-servo/fast-servo/linien-client-ssh-port-change.patch

diff --git a/linien-client/linien_client/deploy.py b/linien-client/linien_client/deploy.py
index df6683f..7355cc3 100644
--- a/linien-client/linien_client/deploy.py
+++ b/linien-client/linien_client/deploy.py
@@ -34,7 +34,7 @@ logger.setLevel(logging.DEBUG)
 
 
 def read_remote_version(
-    device: Device, ssh_port: int = 22, out_stream=sys.stdout
+    device: Device, ssh_port: int = 3030, out_stream=sys.stdout
 ) -> str:
     """Read the remote version of linien."""
 
@@ -62,7 +62,7 @@ def read_remote_version(
 
 
 def start_remote_server(
-    device: Device, ssh_port: int = 22, out_stream=sys.stdout
+    device: Device, ssh_port: int = 3030, out_stream=sys.stdout
 ) -> None:
     """Start the remote linien server."""
 
@@ -102,7 +102,7 @@ def start_remote_server(
 
 
 def install_remote_server(
-    device: Device, ssh_port: int = 22, out_stream=sys.stdout
+    device: Device, ssh_port: int = 3030, out_stream=sys.stdout
 ) -> None:
     """Install the remote linien server."""