Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-17 03:15:34 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix typos in markdown files

Browse source 
Fixes a number of typographical errors across
markdown documentation files.
This commit is contained in:
Greg Myers 2022-01-11 09:31:27 -07:00 • committed by greg
parent 5df705a41f
commit 829a736f96
No known key found for this signature in database
GPG key ID: A12C1FB2EA7EDE4D
4 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/taskcluster/README.md
View file

@ -11,7 +11,7 @@ For some things however that is not practical,
or some deployment step that mutates global state is required.
That configuration is split between the [mozilla/community-tc-config] and
[servo/taskcluster-config] repositories,
managed by the Taskcluster team and the Servo team repsectively.
managed by the Taskcluster team and the Servo team respectively.
[mozilla/community-tc-config]: https://github.com/mozilla/community-tc-config/blob/master/config/projects.yml
[servo/taskcluster-config]: https://github.com/servo/taskcluster-config/tree/master/config
@ -148,7 +148,7 @@ which is visible on the [credentials] page
(reachable from clicking on one’s own name on the top-right of any page).
A running task has a set of scopes allowing it access to various functionality and APIs.
It can grant those scopes (and at most only thoses) to sub-tasks that it schedules
It can grant those scopes (and at most only those) to sub-tasks that it schedules
(if it has the scope allowing it to schedule new tasks in the first place).
[Roles] represent each a set of scopes.
@ -192,7 +192,7 @@ to those roles from the [servo/taskcluster-config] repository.
The [`project-servo/daily`] hook in Taskcluster’s [Hooks service]
is used to run some tasks automatically ever 24 hours.
In this case as well we use a decision task.
The `decision_task.py` script can differenciate this from a GitHub push
The `decision_task.py` script can differentiate this from a GitHub push
based on the `$TASK_FOR` environment variable.
Daily tasks can also be triggered manually.