misc: Update CONTRIBUTING with gerrit changes

Change-Id: I39b5a784a056195a5e71fd21b3abb5fc91ab70e7
Signed-off-by: Jason Lowe-Power <jason@lowepower.com>
Reviewed-on: https://gem5-review.googlesource.com/11872
This commit is contained in:
Jason Lowe-Power
2018-07-26 11:59:39 -07:00
parent 25f467ed78
commit 0a7193c171

View File

@@ -244,13 +244,21 @@ changeset.
git commit --amend
```
Push change to gerrit as a draft
--------------------------------
Push change to gerrit as a draft/private
----------------------------------------
See https://gerrit-review.googlesource.com/Documentation/intro-user.html#private-changes
for details on private gerrit changes.
```
git push origin HEAD:refs/drafts/master
git push origin HEAD:refs/for/master%private
```
Once you have pushed your change as "private", you can log onto [gerrit]
(https://gem5-review.googlesource.com) and once you're happy with the commit
click the "unmark private" which may be hidden in the "more options" dropdown
in the upper right corner.
Push change bypassing gerrit
-----------------------------