summaryrefslogtreecommitdiff
path: root/Documentation/getting_started/gerrit_guidelines.md
diff options
context:
space:
mode:
authorJonathan Neuschäfer <j.neuschaefer@gmx.net>2018-12-11 17:53:07 +0100
committerPatrick Georgi <pgeorgi@google.com>2018-12-18 13:24:28 +0000
commit45e6c82e682fcfa7155f0e0193bf4c666b1d6466 (patch)
tree271637254114b391f7ed94c536aa15eec9fc0f4c /Documentation/getting_started/gerrit_guidelines.md
parent7ccb2821d27624d97e9728629bf675242d4966d8 (diff)
downloadcoreboot-45e6c82e682fcfa7155f0e0193bf4c666b1d6466.tar.xz
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/gerrit_guidelines.md')
-rw-r--r--Documentation/getting_started/gerrit_guidelines.md2
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