From: Jonathan Nieder <jrnieder@gmail.com>
Date: Sun, 05 Aug 2018 01:26:02 GMT
Subject: Re: How to push using SSH and pull using HTTPS for all repos on GitHub?
Message-ID: <20180805012602.GB258270@aiede.svl.corp.google.com>
In-Reply-To: <CAH8yC8mXaNDmLBpDmtVTP+6Yc8_fCz8YCadOL41fOvb2J6j=8Q@mail.gmail.com>

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://git@github.com/"]
>        insteadOf = https://github.com/

Does putting pushInsteadOf here work?

Thanks and hope that helps,
Jonathan