search

open-rmf / rmf

Root repository for the RMF software
Apache License 2.0
238 stars 59 forks source link

Migrate github to use SSH keys #64

Closed arjo129 closed 3 years ago

arjo129 commented 3 years ago

Bug fix

Fixed bug

This is a quality of life improvement. The old file uses https. However, now every time I clone a new workspace I need to manually switch to ssh before I push otherwise GitHub sends me angry emails with a depreciation notice. For more info see: https://github.blog/2020-12-15-token-authentication-requirements-for-git-operations/

Fix applied

The fix is simply changing the urls to use ssh instead.

arjo129 commented 3 years ago

This is better done by individuals. Getting ssh git to work in docker is :skull:

gbiggs commented 3 years ago

Another reason ssh URLs can't be used is that anyone not logged into GitHub can't use the repos file.

mxgrey commented 3 years ago

For reference, here's what I put into my ~/.gitconfig folder to deal with this:

[url "ssh://git@github.com/"]
        insteadOf = https://github.com/