Merge branch 'jk/rev-parse-end-of-options'
authorJunio C Hamano <redacted>
Sat, 21 Nov 2020 23:14:38 +0000 (15:14 -0800)
committerJunio C Hamano <redacted>
Sat, 21 Nov 2020 23:14:38 +0000 (15:14 -0800)
"git rev-parse" learned the "--end-of-options" to help scripts to
safely take a parameter that is supposed to be a revision, e.g.
"git rev-parse --verify -q --end-of-options $rev".

* jk/rev-parse-end-of-options:
  rev-parse: handle --end-of-options
  rev-parse: put all options under the "-" check
  rev-parse: don't accept options after dashdash


Trivial merge
git clone https://git.99rst.org/PROJECT