Re: [PATCH 5/5] implement @{publish} shorthand
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 18, 2014, 19:52 UTC
- Message-ID
- <xmqqppmkdwq0.fsf@gitster.dls.corp.google.com>
- In-Reply-To
- <20140218085224.GB2692@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 5 quoted lines
> 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.