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>
This commit is contained in:
@@ -5,8 +5,7 @@ gerrit set-head - Change a project's HEAD.
|
|||||||
|
|
||||||
== SYNOPSIS
|
== SYNOPSIS
|
||||||
--
|
--
|
||||||
'ssh' -p <port> <host> 'gerrit set-head'
|
'ssh' -p <port> <host> 'gerrit set-head' <NAME>
|
||||||
--project <NAME> | -p <NAME>
|
|
||||||
--new-head <REF>
|
--new-head <REF>
|
||||||
--
|
--
|
||||||
|
|
||||||
@@ -23,7 +22,7 @@ Caller must be an owner of the given project.
|
|||||||
This command is intended to be used in scripts.
|
This command is intended to be used in scripts.
|
||||||
|
|
||||||
== OPTIONS
|
== OPTIONS
|
||||||
<PROJECT_NAME>::
|
<NAME>::
|
||||||
Required; name of the project to change the HEAD. If name ends
|
Required; name of the project to change the HEAD. If name ends
|
||||||
with `.git` the suffix will be automatically removed.
|
with `.git` the suffix will be automatically removed.
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user