
22 Aug
2016
22 Aug
'16
6:15 a.m.
Simon Peyton Jones via ghc-devs wrote:
But 'git push' says
/c/code/HEAD$ git push
Permission denied (publickey).
fatal: Could not read from remote repository.
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? Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/