Revision c5502c44
Added by Ewoud Kohl van Wijngaarden almost 2 years ago
- added
- modified
- copied
- renamed
- deleted
- .github
- PULL_REQUEST_TEMPLATE.md
Added by Ewoud Kohl van Wijngaarden almost 2 years ago
Drop PR template
It is now requested to submit PRs to the correct branches, rather than
relying on the maintainers to build it into multiple branches. That
means the template is meaningless and only adds noise.