As far as I can tell, these header files only encourage people to create
badly-formatted PRs.
Also we only have one template so let's give it the default name.
2024-05-31 10:02:04 +01:00
Renamed from .github/PULL_REQUEST_TEMPLATE/spec-change.md (Browse further)