--end-of-options inconsistently available?!

From: Sven Strickroth <sven@cs-ware.de>
Date: Nov 27, 2023, 11:22 UTC
Message-ID: <4d944fe3-d31d-4859-8ed2-6c1da64410fe@cs-ware.de>

Hi,

gitcli(7) states:

> Because -- disambiguates revisions and paths in some commands, it cannot be used for those commands to separate options and revisions. You can use --end-of-options for this (it also works for commands that do not distinguish between revisions in paths, in which case it is simply an alias for --).

However, when I use this for certain commands it fails:

$ git reset --end-of-options HEAD -- fatal: option '--end-of-options' must come before non-option arguments

$ git rev-parse --symbolic-full-name --end-of-options master --end-of-options refs/heads/master

Here, the output also contains "--end-of-options" as if it is a reference (same for "--")

$ git checkout -f --end-of-options HEAD~1 -- afile.txt fatal: only one reference expected, 2 given.

Best,
  Sven