commit 88a2f7b2905b51910bfe9dbffa63a82b20b34aa7
author Joshua Liebow-Feeser <joshlf@google.com> Mon Oct 29 21:46:47 2018 -0700
committer Joshua Liebow-Feeser <joshlf@google.com> Tue Oct 30 12:19:42 2018 -0700
tree afb7c99c0af8268d47e18ee1a41ff369411fe2ef
parent 872eb8f1c804b098b7a5d02c434a2738e0efeb62

Update docs on uploading CLs to clarify behavior

Change-Id: Iebecfb284b5b81a9442139b6aae9d2d299fa1307

CONTRIBUTING.md

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 25332a6..4a6c46b 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -206,14 +206,15 @@
 git push origin HEAD:refs/for/master
 ```
 
-Alternatively, to configure the repository so that all pushes go to this target:
+Alternatively, to configure the repository so that all pushes go to this target
+(`git push` on its becomes equivalent to the above):
 
 ```
 git config remote.origin.push HEAD:refs/for/master
 ```
 
-The output will then give you a link to the change. Add `joshlf@google.com` as a
-reviewer.
+The output of `git push` will then give you a link to the change. Add
+`joshlf@google.com` as a reviewer.
 
 Pushing a commit with the same Change-Id as an existing change will upload a new
 version of it. (Use the `git rebase` or `git commit --amend` commands.)