Add PR title guidelines to CONTRIBUTING.md
#9470
Labels
documentation
Improvements or additions to documentation
CONTRIBUTING.md
#9470
I had difficulty deciding on a suitable name when opening a pull request recently. I couldn't find any guidance on naming PRs in
CONTRIBUTING.md
despite seeing some of them be renamed before merging (e.g., #9166, #9174, #8995, #8036).I think adding some naming guidelines could be helpful for both contributors and maintainers. Just to share my experience, I spent around 10 minutes going through recently merged PRs trying to perfect the name of mine. 😄
The text was updated successfully, but these errors were encountered: