Jeff King <> 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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to