Jeffrey Walton wrote: > On Sat, Aug 4, 2018 at 9:26 PM, Jonathan Nieder <jrnieder@xxxxxxxxx> wrote: >> 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. [...] >>> [url "ssh://git@xxxxxxxxxx/"] >>> insteadOf = https://github.com/ >> >> Does putting pushInsteadOf here work? > > Yes, that was the trick. > > Thank you very much. You're welcome. I should have asked: do you remember where you first looked for this answer in documentation? Maybe we can improve it. A few thoughts: 1. git-push(1) could get a CONFIGURATION section. 2. the description of url.*.insteadOf in git-config(1) could mention pushInsteadOf. The description of url.*.pushInstead is right after it today, but there is nothing guaranteeing that that will continue to be true. 3. Likewise, the description of remote.<name>.push could include a pointer. 4. Maybe there's a place to put some thoughts on this in the user-manual, too. It already mentions remote.<name>.push. What do you think? Thanks, Jonathan
