config/homedir/ssh/*: ries-sync3 is no longer used

[dak.git] / config / homedir / ssh / ftpmaster-config

diff --git a/config/homedir/ssh/ftpmaster-config b/config/homedir/ssh/ftpmaster-config
index b57c3e0d42f78ee8e04037c2275ef930c2bee3a3..d90b5a4c421ec9b6fe91b3efbf5bcf0dd0e9e25f 100644 (file)
--- a/config/homedir/ssh/ftpmaster-config
+++ b/config/homedir/ssh/ftpmaster-config
@@ -32,11 +32,6 @@ Host ries-sync2
   User dak
   IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd2
 
-Host ries-sync3
-  Hostname coccia.debian.org
-  User dak
-  IdentityFile /srv/ftp-master.debian.org/scripts/s3kr1t/ssh/push_dd3
-
 Host external-security
   Hostname chopin.debian.org
   User dak