From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 05 Jun 2009 00:52:13 GMT
Subject: Re: Using different protocols for "pull" and "push".
Message-ID: <7v1vpztsci.fsf@alter.siamese.dyndns.org>
In-Reply-To: <h09kk8$rb4$1@ger.gmane.org>

Nikos Chantziaras <realnc@arcor.de> writes:

> I wonder if it's possible to setup Git (probably in .git/config) to
> use SSH only for "git push" and use the git protocol for "git pull".

The configuration format does not allow it, unfortunately.  We should be
able to introduce remote.$name.pushurl that is used only for push if
present (and fall back to remote.$name.url if there isn't) reasonably
easily, though.