From 0bd7a621ee83f10d10d212e91050281bc6671b80 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Tue, 2 Dec 2008 11:13:39 +0100
Subject: [PATCH] add people as alias for ravel

Signed-off-by: martin f. krafft <madduck@madduck.net>
---
 .ssh/config.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.ssh/config.in b/.ssh/config.in
index 1e490df..b5a4d67 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -324,6 +324,11 @@ Host smetana.debian.org | smetana
   Hostname smetana.debian.org
   User madduck
 
+Host people.debian.org
+  Hostname people.debian.org
+  User madduck
+  HostKeyAlias ravel.debian.org
+
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch
   User krafft
-- 
2.39.2