From e6322e23958a937fa01960f8ce320717b9863253 Mon Sep 17 00:00:00 2001 From: JPR Date: Tue, 21 May 2019 23:07:55 +0200 Subject: Fixing typos - Part 1 --- dev/doc/MERGING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev/doc/MERGING.md') diff --git a/dev/doc/MERGING.md b/dev/doc/MERGING.md index c9eceb1270..66f5a96802 100644 --- a/dev/doc/MERGING.md +++ b/dev/doc/MERGING.md @@ -92,7 +92,7 @@ When fixes are ready, there are two cases to consider: Once all reviewers approved the PR, the assignee is expected to check that CI completed without relevant failures, and that the PR comes with appropriate documentation and test cases. If not, they should leave a comment on the PR and -put the approriate label. Otherwise, they are expected to merge the PR using the +put the appropriate label. Otherwise, they are expected to merge the PR using the [merge script](../tools/merge-pr.sh). When CI has a few failures which look spurious, restarting the corresponding -- cgit v1.2.3