From d50bbe47cc29f9be354776005309ca3f718847de Mon Sep 17 00:00:00 2001
From: Aaro Koivukangas <aaro@koivukangas.cc>
Date: Mon, 12 Oct 2026 11:26:29 +0300
Subject: [PATCH] [ssh] Add pumppi git server so that you don't need the port
 number

---
 .ssh/config | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .ssh/config

diff --git a/.ssh/config b/.ssh/config
new file mode 100644
index 0000000..6645dc4
--- /dev/null
+++ b/.ssh/config
@@ -0,0 +1,3 @@
+Host git.pumppi.dev
+    HostName git.pumppi.dev
+    Port 2222