diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2021-11-11 21:50:05 +0000 |
|---|---|---|
| committer | Patrick Georgi <patrick@coreboot.org> | 2021-11-22 16:28:51 +0000 |
| commit | 2c89d08d7eff7007b4ef48aa333085d20cd74bb9 (patch) | |
| tree | 89dc7bf34bf03be983f471b134af7d81e074215d /Documentation/getting_started | |
| parent | 63c0fd2dbe20b7cb9c518b04e95ffe5695c651f1 (diff) | |
| download | coreboot-2c89d08d7eff7007b4ef48aa333085d20cd74bb9.tar.gz coreboot-2c89d08d7eff7007b4ef48aa333085d20cd74bb9.tar.bz2 coreboot-2c89d08d7eff7007b4ef48aa333085d20cd74bb9.zip | |
Documentation: Add warning about "private" changes on Gerrit
Private changes on Gerrit are a tricky beast in that they're well hidden
in the UI and a few other places but still reachable under certain
circumstances.
Change-Id: I1c8c6cccfd023bc1d839dc5d9544204c88f89c7e
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/59229
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Diffstat (limited to 'Documentation/getting_started')
| -rw-r--r-- | Documentation/getting_started/gerrit_guidelines.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Documentation/getting_started/gerrit_guidelines.md b/Documentation/getting_started/gerrit_guidelines.md index 8c916156044a..68b5cc43c0a2 100644 --- a/Documentation/getting_started/gerrit_guidelines.md +++ b/Documentation/getting_started/gerrit_guidelines.md @@ -193,8 +193,10 @@ the wip flag: * When pushing patches that are not for submission, these should be marked as such. This can be done in the title ‘[DONOTSUBMIT]’, or can be pushed as private changes, so that only explicitly added reviewers will see them. These -sorts of patches are frequently posted as ideas or RFCs for the community -to look at. To push a private change, use the command: +sorts of patches are frequently posted as ideas or RFCs for the community to +look at. Note that private changes can still be fetched from Gerrit by anybody +who knows their commit ID, so don't use this for sensitive changes. To push +a private change, use the command: git push origin HEAD:refs/for/master%private * Multiple push options can be combined: |