branch: add '--points-at' option

diff --git a/Documentation/git-reflog.txt b/Documentation/git-reflog.txt
index 730106c90a18f275523c2c03ac3a16d7347636b0..44c736f1a8e581bc072d5de3b719284f7376ec3b 100644 (file)
--- a/Documentation/git-reflog.txt
+++ b/Documentation/git-reflog.txt
@@ -23,6 +23,7 @@ depending on the subcommand:
        [--dry-run] [--verbose] [--all | <refs>...]
 'git reflog delete' [--rewrite] [--updateref]
        [--dry-run] [--verbose] ref@\{specifier\}...
+'git reflog exists' <ref>
 
 Reference logs, or "reflogs", record when the tips of branches and
 other references were updated in the local repository. Reflogs are
@@ -52,6 +53,9 @@ argument must be an _exact_ entry (e.g. "`git reflog delete
 master@{2}`"). This subcommand is also typically not used directly by
 end users.
 
+The "exists" subcommand checks whether a ref has a reflog.  It exits
+with zero status if the reflog exists, and non-zero status if it does
+not.
 
 OPTIONS
 -------
@@ -88,7 +92,8 @@ Options for `expire`
 
 --updateref::
        Update the reference to the value of the top reflog entry (i.e.
-       <ref>@\{0\}) if the previous top entry was pruned.
+       <ref>@\{0\}) if the previous top entry was pruned.  (This
+       option is ignored for symbolic references.)
 
 --rewrite::
        If a reflog entry's predecessor is pruned, adjust its "old"