| Index: docs/vanilla_msysgit_workflow.md
|
| diff --git a/docs/vanilla_msysgit_workflow.md b/docs/vanilla_msysgit_workflow.md
|
| index 3bc952de7957fd7dbbd58623b5d4a0a441cc5a22..b834874a81df4b37e35967b7087c96261518571d 100644
|
| --- a/docs/vanilla_msysgit_workflow.md
|
| +++ b/docs/vanilla_msysgit_workflow.md
|
| @@ -98,7 +98,7 @@ Pipelining:
|
| (to rename)
|
| 1. Later, when you want to commit one of the earlier changes in the pipeline;
|
| all on Linux. The reason you may want to create the separate tip-of-tree
|
| - branch is in case the trybots show your change failing on tip-of-tree and
|
| + branch is in case the try bots show your change failing on tip-of-tree and
|
| you need to do significant additional work, this avoids having to roll back
|
| the tip-of-tree merge:
|
|
|
|
|