From e83fd733c1b303ff9a3ffb11729a2d2fe992b5b4 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Wed, 13 Aug 2014 14:17:13 +0200
Subject: [PATCH] Fix up people.d.o

---
 .ssh/config.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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
-- 
2.39.5