Hi Spencer, The first line in the `[remote "origin"]` section should read:
``` url = [email protected]:sbgraves237/Ecdat.git<mailto:[email protected]:sbgraves237/Ecdat.git> ``` Generally, I add these configs by doing a clone on the command line such as: > git clone > [email protected]:sbgraves237/Ecdat.git<mailto:[email protected]:sbgraves237/Ecdat.git> so that I don't have to mess with the config file. Best, Marcel On 7/15/19 1:48 PM, Spencer Graves wrote: I'm diverging: Now I get: >>> git pull ssh: Could not resolve hostname github.com:sbgraves237: nodename nor servname provided, or not known fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. ** With .git/config as follows: [core] repositoryformatversion = 0 filemode = true bare = false logallrefupdates = true ignorecase = true precomposeunicode = true [remote "origin"] url = ssh://[email protected]:sbgraves237/Ecdat.git<mailto:ssh://[email protected]:sbgraves237/Ecdat.git> fetch = +refs/heads/*:refs/remotes/origin/* [branch "master"] remote = origin merge = refs/heads/master I have an SSH key on my GitHub account, which says it was "Added on Jul 3, 2019 Last used within the last 2 weeks — Read/write". Should I delete my current local copies and clone them fresh from GitHub? Spencer On 2019-07-15 12:01, Brian G. Peterson wrote: it would be: ssh://[email protected]:sbgraves237/Ecdat.git<mailto:ssh://[email protected]:sbgraves237/Ecdat.git> On Mon, 2019-07-15 at 11:41 -0500, Spencer Graves wrote: On 2019-07-15 10:56, Dirk Eddelbuettel wrote: <snip> Don't write passwords down like this. Your error is likely in expecting _ssh_ authentication over _https_ -- when it works only over ssh. Use the alternate form for a remote e.g. one that looks like [email protected]:emacs<mailto:[email protected]:emacs>- ess/ESS.git I'm confused. I changed that line to: url = https://[email protected]:sbgraves237/sbgraves237/Ecdat<mailto:https://[email protected]:sbgraves237/sbgraves237/Ecdat> Then when I did "git pull" I got: fatal: unable to access 'https://[email protected]:sbgraves237/sbgraves237/Ecdat/<mailto:https://[email protected]:sbgraves237/sbgraves237/Ecdat/>': Port number ended with 's' ??? Thanks, Spencer Hth, Dirk ______________________________________________ [email protected]<mailto:[email protected]> mailing list https://stat.ethz.ch/mailman/listinfo/r-devel ______________________________________________ [email protected]<mailto:[email protected]> mailing list https://stat.ethz.ch/mailman/listinfo/r-devel This email message may contain legally privileged and/or confidential information. If you are not the intended recipient(s), or the employee or agent responsible for the delivery of this message to the intended recipient(s), you are hereby notified that any disclosure, copying, distribution, or use of this email message is prohibited. If you have received this message in error, please notify the sender immediately by e-mail and delete this email message from your computer. Thank you. [[alternative HTML version deleted]] ______________________________________________ [email protected] mailing list https://stat.ethz.ch/mailman/listinfo/r-devel
