[ssh] Add pumppi git server so that you don't need the port number

This commit is contained in:
Aaro Koivukangas
2026-10-12 11:26:29 +03:00
parent 9f7cbef20c
commit d50bbe47cc
+3
View File
@@ -0,0 +1,3 @@
Host git.pumppi.dev
HostName git.pumppi.dev
Port 2222