Update set-head ssh command documentation
Update documentation of 'set-head' ssh command to match current
implementation.
Change-Id: I8dfdcb1203f2430a53130f78c0134bf0f617e6f8
Signed-off-by: Dariusz Luksza <dariusz@luksza.org>
diff --git a/Documentation/cmd-set-head.txt b/Documentation/cmd-set-head.txt
index 164035e..d74caaa 100644
--- a/Documentation/cmd-set-head.txt
+++ b/Documentation/cmd-set-head.txt
@@ -5,8 +5,7 @@
== SYNOPSIS
--
-'ssh' -p <port> <host> 'gerrit set-head'
- --project <NAME> | -p <NAME>
+'ssh' -p <port> <host> 'gerrit set-head' <NAME>
--new-head <REF>
--
@@ -23,7 +22,7 @@
This command is intended to be used in scripts.
== OPTIONS
-<PROJECT_NAME>::
+<NAME>::
Required; name of the project to change the HEAD. If name ends
with `.git` the suffix will be automatically removed.
