diff options
| author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | 2018-12-11 17:53:07 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-18 13:24:28 +0000 |
| commit | 45e6c82e682fcfa7155f0e0193bf4c666b1d6466 (patch) | |
| tree | 271637254114b391f7ed94c536aa15eec9fc0f4c /Documentation/getting_started | |
| parent | 7ccb2821d27624d97e9728629bf675242d4966d8 (diff) | |
Fix typos involving "the the"
Change-Id: I179264ee6681a7ba4488b9f1c6bce1a19b4e1772
Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-on: https://review.coreboot.org/c/30160
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'Documentation/getting_started')
| -rw-r--r-- | Documentation/getting_started/gerrit_guidelines.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/getting_started/gerrit_guidelines.md b/Documentation/getting_started/gerrit_guidelines.md index 9210c8448e..b0a96096e9 100644 --- a/Documentation/getting_started/gerrit_guidelines.md +++ b/Documentation/getting_started/gerrit_guidelines.md @@ -150,7 +150,7 @@ together so people can easily see the connection at the top level of gerrit. Topics can be set for individual patches in gerrit by going into the patch and clicking on the icon next to the topic line. Topics can also be set when you push the patches into gerrit. For example, to push a set of -commits with the the i915-kernel-x60 set, use the command: +commits with the i915-kernel-x60 set, use the command: git push origin HEAD:refs/for/master/i915-kernel-x60 * If one of your patches isn't ready to be merged, make sure it's obvious |