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

Add PR title format to CONTRIBUTING.md #10665

Merged
merged 1 commit into from
Mar 30, 2024
Merged

Add PR title format to CONTRIBUTING.md #10665

merged 1 commit into from
Mar 30, 2024

Conversation

charliermarsh
Copy link
Member

Closes #9470.

@charliermarsh charliermarsh added the documentation Improvements or additions to documentation label Mar 30, 2024
@charliermarsh charliermarsh force-pushed the charlie/attrs branch 6 times, most recently from 9a772ee to d3d3d68 Compare March 30, 2024 00:08
@charliermarsh charliermarsh enabled auto-merge (squash) March 30, 2024 00:11
@charliermarsh charliermarsh merged commit 9f56902 into main Mar 30, 2024
16 checks passed
@charliermarsh charliermarsh deleted the charlie/attrs branch March 30, 2024 00:14
@BrewTestBot BrewTestBot mentioned this pull request Apr 1, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add PR title guidelines to CONTRIBUTING.md
1 participant
@charliermarsh