doc: document generic git refs

BobBuildTool · Dec 9, 2024 · f5e19e6 · f5e19e6
1 parent da4fc3e
commit f5e19e6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/manual/configuration.rst b/doc/manual/configuration.rst
@@ -1032,6 +1032,10 @@ git
      The symbolic name of a tag.
    * refs/heads/<branchname>, e.g. refs/heads/master.
      The name of a branch.
+   * refs/<refname>, e.g. refs/changes/50/19450/17. A generic ref that is
+     neither a branch nor a tag. Effectively treated like a tag unless
+     ``rebase`` is set to ``true`` in which case updates to the ref will rebase
+     the workspace.
 
    The ``remote-*`` property allows adding extra remotes whereas the part after
    ``remote-`` corresponds to the remote name and the value given corresponds to