user-upload.txt: Simplify example to enable tracing on push

It is sufficient to set the trace push option as '-o trace' to enable
tracing. '-o trace=true' also works but requires more typing.

Change-Id: Ifa15bb978531a5ebaa7aaf34c79960407249387b
Signed-off-by: Edwin Kempin <ekempin@google.com>
This commit is contained in:
Edwin Kempin 2018-08-29 08:38:30 +02:00
parent b8424a073d
commit 8b7376ba28

View File

@ -428,7 +428,7 @@ When pushing to Gerrit tracing can be enabled by setting the `trace`
push option.
----
git push -o trace=true ssh://john.doe@git.example.com:29418/kernel/common HEAD:refs/for/master
git push -o trace ssh://john.doe@git.example.com:29418/kernel/common HEAD:refs/for/master
----
Enabling tracing results in additional logs with debug information that