From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 18 Feb 2014 19:52:55 GMT
Subject: Re: [PATCH 5/5] implement @{publish} shorthand
Message-ID: <xmqqppmkdwq0.fsf@gitster.dls.corp.google.com>
In-Reply-To: <20140218085224.GB2692@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> In that sense, "publish" is not the best word, either, as it describes
> only the first two, but not the third case (and those are just examples;
> there may be other setups beyond that, even).
>
> Perhaps "@{push}" would be the most direct word.

Hmph, then the other one would be @{pull}.

Which does not sound too bad, IMHO.