Merge branch 'tomas/fix-pr-template' (#1688)

* origin/tomas/fix-pr-template: github: make the PR template the default
anoma · Jul 11, 2023 · 3e0cf09 · 3e0cf09
2 parents de5bb98 + 951a407
commit 3e0cf09
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/PULL_REQUEST_TEMPLATE/new_topic.md → .github/pull_request_template.md b/.github/PULL_REQUEST_TEMPLATE/new_topic.md → .github/pull_request_template.md