Update Pull Request template

.github/PULL_REQUEST_TEMPLATE.md

@@ -8,29 +8,20 @@ Fixes / closes #????
 
 <!-- Remove anything that doesn't apply in the following checklist. -->
 
-<!-- If there is a user-visible change and testing is not prohibitively expensive: -->
-- [ ] Added / updated **test-suite**.
-
 <!-- If this is a feature pull request / breaks compatibility: -->
 - [ ] Added **changelog**.
 - [ ] Added / updated **documentation**.
-  <!-- Check if the following applies, otherwise remove these lines. -->
-  - [ ] Documented any new / changed **user messages**.
-  - [ ] Updated **documented syntax** by running `make doc_gram_rsts`.
 
 <!-- If this breaks external libraries or plugins in CI: -->
 - [ ] Opened **overlay** pull requests.
 
 <!-- Pointers to relevant developer documentation:
 
-Contributing guide: https://github.com/coq/coq/blob/master/CONTRIBUTING.md
-
-Test-suite: https://github.com/coq/coq/blob/master/test-suite/README.md
+Contributing guide: https://github.com/coq-community/stdlib/blob/master/CONTRIBUTING.md
 
-Changelog: https://github.com/coq/coq/blob/master/doc/changelog/README.md
+Changelog: https://github.com/coq-community/stdlib/blob/master/doc/changelog/README.md
 
-Building the doc: https://github.com/coq/coq/blob/master/doc/README.md
-Sphinx: https://github.com/coq/coq/blob/master/doc/sphinx/README.rst
-doc_gram: https://github.com/coq/coq/blob/master/doc/tools/docgram/README.md
+Building the doc: https://github.com/coq-community/stdlib/blob/master/doc/README.md
+Sphinx: https://github.com/coq-community/stdlib/blob/master/doc/sphinx/README.rst
 
-Overlays: https://github.com/coq/coq/blob/master/dev/ci/user-overlays/README.md
+Overlays: https://github.com/coq-community/stdlib/blob/master/dev/doc/README-CI.md