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://g...@github.com: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://g...@github.com: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 g...@github.com:emacs-
ess/ESS.git
        I'm confused.  I changed that line to:


              url =
https://g...@github.com:sbgraves237/sbgraves237/Ecdat


        Then when I did "git pull" I got:


fatal: unable to access
'https://g...@github.com:sbgraves237/sbgraves237/Ecdat/': Port number
ended with 's'


        ???
        Thanks,
        Spencer

Hth, Dirk

______________________________________________
R-devel@r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-devel

______________________________________________
R-devel@r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-devel

Reply via email to