diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-09-09 12:26:35 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-09-09 12:26:36 -0700 |
| commit | 4a12f89865236789b5723277bb6809e92ce68f54 (patch) | |
| tree | 3b42d70a0914171eae0b2e1ef6be0d5af6fc6114 /Makefile | |
| parent | Merge branch 'jk/repo-init-cleanup' (diff) | |
| parent | gitcli: document --end-of-options (diff) | |
| download | tgif-4a12f89865236789b5723277bb6809e92ce68f54.tar.xz | |
Merge branch 'jk/eoo'
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
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions