diff options
| author | Jason Lowe-Power <jason@lowepower.com> | 2018-07-26 11:59:39 -0700 |
|---|---|---|
| committer | Jason Lowe-Power <jason@lowepower.com> | 2018-07-27 15:41:14 +0000 |
| commit | 0a7193c1712ceba021732e4ad2b4dfb0a10394cc (patch) | |
| tree | 83e51add2794e099555a0b549fd15ecbaadf62b6 | |
| parent | 25f467ed78f7bf4a4523969b7e35ae770340bb94 (diff) | |
| download | gem5-0a7193c1712ceba021732e4ad2b4dfb0a10394cc.tar.xz | |
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
| -rw-r--r-- | CONTRIBUTING.md | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3cfad9f78..92d8ea8c4 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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 ----------------------------- |