On Sat, Aug 4, 2018 at 9:26 PM, Jonathan Nieder <jrnie...@gmail.com> wrote: > Hi, > > Jeffrey Walton wrote: > >> I'm having trouble setting up my ~/.gitconfig to push using SSH and >> pull using HTTPS for all repos on GitHub. The idea is, no passwords on >> pulls and only use the password for push. >> >> I've got the first part of the equation using the following in my >> ~/.gitconfig (the ellipses are user info): >> >> $ cat ~/.gitconfig >> ... >> # Enforce SSH >> [url "ssh://g...@github.com/"] >> insteadOf = https://github.com/ > > Does putting pushInsteadOf here work?
Yes, that was the trick. Thank you very much.
