Subject: Re: [PATCH 5/5] implement @{publish} shorthand

From: Junio C Hamano <[email-masked]>
Date: Tue, 18 Feb 2014 11:52:55 -0800

Jeff King <[email-masked]> 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.