Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change CI branch's name in the PR template
Since we did another reset, we can go back to using the original name which is more straightforward. While at it, I also removed the extraneous space in "- branch" and shortened the line length to be less than 72 characters.
- Loading branch information