From 77924e3ea0abeb3d871976953cf05df34209d439 Mon Sep 17 00:00:00 2001 From: Marco Bonelli Date: Fri, 8 Feb 2019 01:24:44 +0100 Subject: [PATCH] Pull request template: change "folder" to "directory". --- .github/PULL_REQUEST_TEMPLATE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 1666f58a9..f3f6a296c 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -3,7 +3,7 @@ - [ ] The page (if new), does not already exist in the repo. -- [ ] The page is in the correct platform folder (`common/`, `linux/`, etc.) +- [ ] The page is in the correct platform directory (`common/`, `linux/`, etc.) - [ ] The page has 8 or fewer examples. - [ ] The PR title conforms to the recommended [templates](/tldr-pages/tldr/blob/master/CONTRIBUTING.md#commit-message). - [ ] The page follows the [content guidelines](/tldr-pages/tldr/blob/master/CONTRIBUTING.md#guidelines).