Describe the bug
The repository contains two pull request templates: .github/PULL_REQUEST_TEMPLATE.md and .github/pull_request_template.md. As they share the same name (capitalization aside), this also causes issues on case-insensitive filesystems.
Can you submit a pull request? Yes
Describe the bug
The repository contains two pull request templates:
.github/PULL_REQUEST_TEMPLATE.mdand.github/pull_request_template.md. As they share the same name (capitalization aside), this also causes issues on case-insensitive filesystems.Can you submit a pull request? Yes