Merge branch 'js/t4130-rename-without-ino'
[gitweb.git] / Documentation / CodingGuidelines
index 7f4769a02c049c5669bd02273cf19955b169f58c..4cd95da6b1e436c8764d51f17ea0446ca3bad73d 100644 (file)
@@ -527,12 +527,13 @@ Writing Documentation:
  or commands:
 
  Literal examples (e.g. use of command-line options, command names,
- configuration and environment variables) must be typeset in monospace (i.e.
- wrapped with backticks):
+ branch names, configuration and environment variables) must be
typeset in monospace (i.e. wrapped with backticks):
    `--pretty=oneline`
    `git rev-list`
    `remote.pushDefault`
    `GIT_DIR`
+   `HEAD`
 
  An environment variable must be prefixed with "$" only when referring to its
  value and not when referring to the variable itself, in this case there is