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

README: change labeled to labelled for a consistent BE-style #16166

Merged
merged 1 commit into from
Oct 30, 2023
Merged

README: change labeled to labelled for a consistent BE-style #16166

merged 1 commit into from
Oct 30, 2023

Conversation

Wertzui123
Copy link
Contributor

No description provided.

@request-info
Copy link

request-info bot commented Oct 30, 2023

Please provide a better issue/pull request title and/or description!

@request-info request-info bot added the needs response Needs a response from the issue/PR author label Oct 30, 2023
@MikeMcQuaid
Copy link
Member

Seems fine, thanks!

@MikeMcQuaid MikeMcQuaid enabled auto-merge October 30, 2023 16:09
@MikeMcQuaid MikeMcQuaid merged commit 51e3c13 into Homebrew:master Oct 30, 2023
28 of 29 checks passed
@github-actions github-actions bot added the outdated PR was locked due to age label Nov 30, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 30, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@MikeMcQuaid MikeMcQuaid MikeMcQuaid approved these changes

Assignees
No one assigned
Labels
needs response Needs a response from the issue/PR author outdated PR was locked due to age
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Wertzui123 @MikeMcQuaid