247,248c247,248
< Push change to gerrit as a draft
< --------------------------------
---
> Push change to gerrit as a draft/private
> ----------------------------------------
249a250,252
> See https://gerrit-review.googlesource.com/Documentation/intro-user.html#private-changes
> for details on private gerrit changes.
>
251c254
< git push origin HEAD:refs/drafts/master
---
> git push origin HEAD:refs/for/master%private
253a257,261
> 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.
>