Skip to content

chore: plural naming#188887

Closed
yiliang114 wants to merge 5 commits intomicrosoft:mainfrom
yiliang114:chosen-rat
Closed

chore: plural naming#188887
yiliang114 wants to merge 5 commits intomicrosoft:mainfrom
yiliang114:chosen-rat

Conversation

@yiliang114
Copy link
Contributor

provider -> providers

@bhavyaus bhavyaus assigned jrieken and unassigned bhavyaus Jul 26, 2023
@yiliang114
Copy link
Contributor Author

@jrieken Can you give me a look

@jrieken jrieken added this to the August 2023 milestone Aug 8, 2023
@jrieken
Copy link
Member

jrieken commented Aug 8, 2023

Thanks for you PR but we aren't taking purely cosmetic changes

@jrieken jrieken closed this Aug 8, 2023
@yiliang114
Copy link
Contributor Author

Thanks for you PR but we aren't taking purely cosmetic changes

But it is semantically wrong, shouldn't it be plural here?

@github-actions github-actions bot locked and limited conversation to collaborators Sep 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants