diff options
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE/pull_request_template.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md b/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md index 8d76087b..6e450d78 100644 --- a/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md +++ b/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md @@ -6,5 +6,6 @@ title: '' <!-- If you want to make changes to the README.md, do so in scripts/README_template.md. -The README.md is auto-generated with all the options from the various LSP configurations. +The CONFIG.md is auto-generated with all the options from the various LSP configuration; +do not edit it manually --> |