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

From: Jeffrey Walton <noloader@gmail.com>
Date: Aug 5, 2018, 02:19 UTC
Message-ID: <CAH8yC8nagnHtEosS0zNuHyh04GZYqfmL_5eR_R2qkWEBpxcM=w@mail.gmail.com>
In-Reply-To: <20180805012602.GB258270@aiede.svl.corp.google.com>

On Sat, Aug 4, 2018 at 9:26 PM, Jonathan Nieder <jrnieder@gmail.com> wrote:

Show 18 quoted lines

> 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?

Yes, that was the trick.

Thank you very much.