Re: [R-pkg-devel] More GitHub problems

2020-04-21 Thread Spencer Graves 

Hi, Ivan et al:


On 2020-04-21 02:15, Ivan Krylov wrote:

On Mon, 20 Apr 2020 23:44:43 -0500
Spencer Graves  wrote:


Is there a way to restore the functionality of a local clone of a
GitHub repository after the SSH key it used was replaced?

Does `git remote -v` in the repo directory show https://github.com/...
or g...@github.com:... or ssh://... URLs?

Can you add the new SSH key on  and
check ~/.ssh/config to make sure that it's used when connecting to
github.com? You can verify that the SSH part of the stack works by
running `ssh g...@github.com`:

PTY allocation request failed on channel 0
Hi ! You've successfully authenticated, but GitHub does not
provide shell access.
Connection to github.com closed.


    I have a local clone that previously worked fine but now asks
for a password that I don't think I have when I try "git push".

This sounds like it's using an https:// remote URL, not ssh. But I
might be mistaken.


You were absolutely correct.  The problem was fixed by copying "url = 
g...@github.com:/.git" from a repository 
where it worked properly into this one, and it worked.



  Thanks,
  Spencer Graves

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

Re: [R-pkg-devel] More GitHub problems

2020-04-21 Thread Ivan Krylov 
On Mon, 20 Apr 2020 23:44:43 -0500
Spencer Graves  wrote:

> Is there a way to restore the functionality of a local clone of a 
> GitHub repository after the SSH key it used was replaced?

Does `git remote -v` in the repo directory show https://github.com/...
or g...@github.com:... or ssh://... URLs?

Can you add the new SSH key on  and
check ~/.ssh/config to make sure that it's used when connecting to
github.com? You can verify that the SSH part of the stack works by
running `ssh g...@github.com`:

PTY allocation request failed on channel 0
Hi ! You've successfully authenticated, but GitHub does not
provide shell access.
Connection to github.com closed.

>    I have a local clone that previously worked fine but now asks
> for a password that I don't think I have when I try "git push".

This sounds like it's using an https:// remote URL, not ssh. But I
might be mistaken.

-- 
Best regards,
Ivan

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

[R-pkg-devel] More GitHub problems

2020-04-20 Thread Spencer Graves 

Hello:


  Is there a way to restore the functionality of a local clone of a 
GitHub repository after the SSH key it used was replaced?



  I have a local clone that previously worked fine but now asks for 
a password that I don't think I have when I try "git push".



  Thanks,
  Spencer Graves

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