Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #4760: MAINT(github): Update PR template
It seems that nobody read the comment that was inserted into the PR. Thus this was now changed to a checkbox that will be visible after having created the PR.
- Loading branch information