From: martin f. krafft <madduck@madduck.net>
Date: Wed, 13 Aug 2014 12:17:13 +0000 (+0200)
Subject: Fix up people.d.o
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/e83fd733c1b303ff9a3ffb11729a2d2fe992b5b4

Fix up people.d.o
---

diff --git a/.ssh/config.in b/.ssh/config.in
index 89ade72..da5eb82 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -264,8 +264,9 @@ Host cvs.debian.org
   HostKeyAlias moszumanska.debian.org
   User madduck
 
-Host people.debian.org
-  HostKeyAlias ravel.debian.org
+Host people.debian.org | people
+  Hostname people.debian.org
+  HostKeyAlias paradis.debian.org
   User madduck
 
 Host abel.debian.org | abel