From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 23 Aug 2019 21:33:45 +0000 (-0700)
Subject: Merge branch 'jk/eoo' into next
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=217e97127a129efd4cd169bfe3142c8a6c66c49e;p=git

Merge branch 'jk/eoo' into next

The command line parser learned "--end-of-options" notation; the
standard convention for scripters to have hardcoded set of options
first on the command line, and force the command to treat end-user
input as non-options, has been to use "--" as the delimiter, but
that would not work for commands that use "--" as a delimiter
between revs and pathspec.

* jk/eoo:
  gitcli: document --end-of-options
  parse-options: allow --end-of-options as a synonym for "--"
  revision: allow --end-of-options to end option parsing
---

217e97127a129efd4cd169bfe3142c8a6c66c49e