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:

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://... URL