diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md deleted file mode 100644 index 221297751..000000000 --- a/.github/pull_request_template.md +++ /dev/null @@ -1,11 +0,0 @@ -#### Description - -Replace this text with a description of the PR. - -#### Additional information... - -- [ ] I changed C++ code or build infrastructure. - Please run the test suite and include the output of `cd build/test && make && ./problems`. - -- [ ] I changed Rust code or build infrastructure. - Please run `cargo test` and address any failures before submitting.