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

2018-08-04 Thread Jonathan Nieder
Jeffrey Walton wrote:
> On Sat, Aug 4, 2018 at 9:26 PM, Jonathan Nieder  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://g...@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..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..push.

What do you think?

Thanks,
Jonathan


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

2018-08-04 Thread Jeffrey Walton
On Sat, Aug 4, 2018 at 9:26 PM, Jonathan Nieder  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.


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

2018-08-04 Thread Jonathan Nieder
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?

Thanks and hope that helps,
Jonathan


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

2018-08-04 Thread Jeffrey Walton
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/
   [push]
  default = current

The above pushes and pulls using SSH. Pulls only need HTTPS so I tried
adding the following which does not work as expected:

[pull "https://github.com/;]

I've found several ways to break Git when trying to setup the HTTPS pull.

My question is, how do I setup the HTTPS pull in my ~/.gitconfig?

Thanks in advance.