diff options
142 files changed, 22597 insertions, 13540 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 000000000..ff211fb84 --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1,12 @@ + +* Resolves: # <!-- related github issue --> + +## |