Re: How to push using SSH and pull using HTTPS for all repos on GitHub?

Jeffrey Walton wrote:

On Sat, Aug 4, 2018 at 9:26 PM, Jonathan Nieder [off-list ref] wrote:

quoted

Jeffrey Walton wrote:

quoted

quoted

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.

[...]

quoted

quoted

   [url "ssh://git@github.com/"]
       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