Merge branch 'main' into add-Wall-flag

DLR-AMR · Dec 10, 2024 · 9c1e6d2 · 9c1e6d2
2 parents 2478682 + d675ec9
commit 9c1e6d2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -25,6 +25,7 @@ doxygen/
 CMakeCache.txt
 CMakeFiles/
 version.txt
+Testing/
 
 src/stamp-h1
 src/t8_config.h

diff --git a/pull_request_template.md b/pull_request_template.md
@@ -36,3 +36,7 @@ As a reviewer please read through all the code lines and make sure that the code
 #### License
 
 - [ ] The author added a BSD statement to `doc/` (or already has one)
+
+#### Tag Label
+
+- [ ] The author added the patch/minor/major label in accordance to semantic versioning.