Commit graph

1 commit

Author SHA1 Message Date
Richard van der Hoff
722c2b1e9a
Clean up pull request template (#1831)
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)