+##
+## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
+## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
+##
+
# This is the ssh client system-wide configuration file. See
# ssh_config(5) for more information. This file provides defaults for
# users, and the values can be changed in per-user configuration files
GSSAPIAuthentication no
GSSAPIDelegateCredentials no
VerifyHostKeyDNS yes
+<%- if (hostname == "sibelius") -%>
+ ServerAliveInterval 450
+<%- end -%>
+# Used for the email-virtualdomains setup
+Host mail-git
+ Hostname adayevskaya.debian.org
+ User git
+ IdentityFile /etc/ssh/ssh_host_rsa_key