Oops I gave you URL that only works if you have GitHub SSH keys setup... Try this instead...
git pull https://github.com/delcypher/klee.git feature_support_stp_with_boost On 12 February 2014 14:57, ThanhVu (Vu) Nguyen <[email protected]> wrote: > > On Wed, Feb 12, 2014 at 1:30 AM, Daniel Liew <[email protected]> > wrote: >> >> git pull [email protected]:delcypher/klee.git feature_support_stp_with_boost > > > I got a permission denied > > git pull [email protected]:delcypher/klee.git feature_support_stp_with_boost > The authenticity of host 'github.com (192.30.252.129)' can't be established. > RSA key fingerprint is 16:27:ac:a5:76:28:2d:36:63:1b:56:4d:eb:df:a6:48. > Are you sure you want to continue connecting (yes/no)? yes > Warning: Permanently added 'github.com,192.30.252.129' (RSA) to the list of > known hosts. > Permission denied (publickey). > fatal: Could not read from remote repository. > > Please make sure you have the correct access rights > and the repository exists. > > > > > Vu, _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
