
22 Aug
2016
22 Aug
'16
10:11 a.m.
On 22. 8. 2016 12:15, Erik de Castro Lopo wrote:
And then I read the error message. That message suggests that the SSH key is not known by the remote repository. Did you copy your SSH keys from your old machine to your new machine?
That was maybe also covered, see the quote below.
Simon Peyton Jones via ghc-devs wrote:
I have a .ssh directory set up, with a copy of all the files that used to work.
-- David Macek