Sean Whitton writes ("Bug#829526: dgit rpush should allow the user to accept an
unknown SSH host key"):
> Package: dgit
> Version: 1.4
> Severity: normal
>
> Dear maintainer,
>
> dgit rpush can fail if the SSH host key of the dgit-repos server is
> unknown on the remote machine. E.g.:
>
> $ dgit rpush pan src/ocrmypdf
> canonical suite name for unstable is sid
> Host key verification failed.
> dgit (build host): failed command: ssh '[email protected]' ':
> dgit debian git-check ocrmypdf ; set -e; cd /dgit/debian/repos; if
> test -d ocrmypdf.git; then echo 1; else echo 0; fi'
> dgit (build host): subprocess failed with error exit status 255
> dgit: build host child failed with error exit status 255
> ! Push failed, while checking state of the archive.
> ! You can retry the push, after fixing the problem, if you like.
How annoying.
IMO the real bug is that the host key is dealt with by ssh at all.
For now, you can work around it by logging into the remote machine and
running
ssh [email protected] false
which will give you a chance to accept the host key.
Thanks,
Ian.
