X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/92a65cbaac7c639dcff1f1ea3e15e2627cd80ed9..7bf11c09b4ff1a0f3fe632df760061c66838c64d:/.ssh/config.in?ds=sidebyside

diff --git a/.ssh/config.in b/.ssh/config.in
index 00059f3..3c7e62f 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -310,6 +310,9 @@ Host argento.debian.org | argento
 Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
+  User madduck
 
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch