diff options
-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 ----------------------------- |