Merge pull request #890 from affeldt-aist/pr_template_20230406

redirect to tools
math-comp · Apr 12, 2023 · 59813f2 · 59813f2
2 parents 59a94ca + 6cb5470
commit 59813f2
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 384 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -8,8 +8,11 @@
 
 <!-- please fill in the following checklist -->
 - [ ] added corresponding entries in `CHANGELOG_UNRELEASED.md`
-  (only append to minimize problems when merging/rebasing)
-  (you can consider the use of `etc/changes.sh` to generate the changelog)
+
+<!-- only append to minimize problems when merging/rebasing -->
+<!-- consider the use of `changelog/changes.sh` from
+     https://github.com/math-comp/tools to generate the changelog -->
+
 - [ ] added corresponding documentation in the headers
 
 <!-- Cross-out the above items using ~crossed out item~ if they happen not to be relevant -->

diff --git a/etc/changes.awk b/etc/changes.awk
diff --git a/etc/changes.sh b/etc/changes.sh