indextext.html: update notice about ssh host key change
[girocco.git] / bin / git-ssh
blob0e31967834c8081e33b496c837f9fa87d0bf229f
1 #!/bin/sh
3 # Run ssh using the correct config file as located
4 # in the chroot for ssh.
6 exec ssh -F @chroot@/etc/girocco/.ssh/config "$@"