💾 Archived View for thatit.be › 2023-02-17-17-41-28.gmi captured on 2023-11-04 at 11:48:20. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-09-28)

➡️ Next capture (2023-11-14)

🚧 View Differences

-=-=-=-=-=-=-

github dropping ssh

When did GitHub drop ssh?

I don’t see anything about this anywhere, but the clone options only show https and a proprietary client of some kind. I can appreciate all the nice utilities they provide with managing non git features, such as CI/CD stuff that I was doing through another CLI…

GitLab CLI

But I feel like I was left in the lurch a bit. Existing projects with submodules are now exploding because they get public key denied errors. Granted, submodules always felt like a hack…

The pattern git@github.com:${PROJECT}/${REPO} has to be replaced with https://github.com/${PROJECT}/${REPO} so it’s not too big of a problem, but I feel like I’ve wasted too much time on this already.

Sed to the rescue:

sed -i -e 's,git@github.com:,https://github.com/,g' .git/config

(Completely untested, I did something similar from within Vim, though)

Navigation

index

tags

updated: 2023-04-20 12:50:10 -0400

generated: 2023-10-05