Re: [PATCH 6/6] sha1_name: implement @{push} shorthand

On Tue, Mar 31, 2015 at 05:41:02PM -0400, Eric Sunshine wrote:

On Tue, Mar 31, 2015 at 1:38 PM, Jeff King [off-list ref] wrote:

quoted

Signed-off-by: Jeff King <redacted>
---

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