eiffel-community / eiffel-community/.github
PR template broken
Open
bug
- Dominant language
- No language data
- Stars
- 1
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
### Description
The directory-style pull request template introduced in #8 apparently doesn't work. Such named templates only work when accessed with a custom URL. The default template is still .github/PULL_REQUEST_TEMPLATE.md, a file that didn't exist as of said commit so we currently end up without a template.
### Motivation
We want to have a PR template and right now it doesn't work.
### Exemplification
N/A
### Benefits
Working PR template.
### Possible Drawbacks
None.
Contributor guide
Assessment
This issue has not been assessed yet.