Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

PR template broken #10

Open
magnusbaeck opened this issue Aug 23, 2021 · 0 comments
Open

PR template broken #10

magnusbaeck opened this issue Aug 23, 2021 · 0 comments
Assignees
@magnusbaeck
Labels
bug Something isn't working

Comments

@magnusbaeck
Copy link
Member

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.
@magnusbaeck magnusbaeck added the bug Something isn't working label Aug 23, 2021
@magnusbaeck magnusbaeck self-assigned this Aug 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@magnusbaeck magnusbaeck

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@magnusbaeck