Host {{taskserv.repo_hostname}}
  User git
  HostName {{taskserv.repo_hostname}}
  IdentityFile {{taskserv.repo_ssh_key}}
  ServerAliveInterval 240
  StrictHostKeyChecking no
  UserKnownHostsFile=/dev/null
  Port {{taskserv.repo_ssh_port}}