On Tue, Mar 31, 2015 at 05:41:02PM -0400, Eric Sunshine wrote:
> On Tue, Mar 31, 2015 at 1:38 PM, Jeff King <peff@xxxxxxxx> wrote:
> > Signed-off-by: Jeff King <peff@xxxxxxxx>
> > ---
> > diff --git a/Documentation/revisions.txt b/Documentation/revisions.txt
> > index 0796118..5d9df25 100644
> > --- a/Documentation/revisions.txt
> > +++ b/Documentation/revisions.txt
> > @@ -98,6 +98,31 @@ some output processing may assume ref names in UTF-8.
> > `branch.<name>.merge`). A missing branchname defaults to the
> > current one.
> >
> > +'<branchname>@\{push\}', e.g. 'master@\{push\}', '@\{push\}'::
> > + The suffix `@{push}` reports the branch "where we would push to" if
> > + `git push` were run while `branchname` was checked out (or the current
> > + `HEAD` is no branchname is specified). Since our push destination is
>
> s/is no/if no/
Thanks, fixed for my re-roll.
-Peff
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html