Skip to content

tools: keep Emeriti lists case-insensitive alphabetic - #45159

Merged
nodejs-github-bot merged 1 commit into
nodejs:mainfrom
Trott:alpha
Oct 28, 2022
Merged

tools: keep Emeriti lists case-insensitive alphabetic#45159
nodejs-github-bot merged 1 commit into
nodejs:mainfrom
Trott:alpha

Conversation

@Trott

@Trott Trott commented Oct 25, 2022

Copy link
Copy Markdown
Member

The current code does not treat capital and lowercase letters as equivalent.

The current code does not treat capital and lowercase letters as
equivalent.
@nodejs-github-bot nodejs-github-bot added the tools Issues and PRs related to the tools directory. label Oct 25, 2022
@aduh95 aduh95 added author ready PRs with CI started, the required approvals, and no outstanding review comments. commit-queue PRs queued for automated landing through the Commit Queue. labels Oct 28, 2022
@nodejs-github-bot nodejs-github-bot removed the commit-queue PRs queued for automated landing through the Commit Queue. label Oct 28, 2022
@nodejs-github-bot
nodejs-github-bot merged commit 2081082 into nodejs:main Oct 28, 2022
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

Landed in 2081082

@Trott
Trott deleted the alpha branch October 28, 2022 04:52
RafaelGSS pushed a commit that referenced this pull request Nov 1, 2022
The current code does not treat capital and lowercase letters as
equivalent.

PR-URL: #45159
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
@RafaelGSS RafaelGSS mentioned this pull request Nov 1, 2022
RafaelGSS pushed a commit that referenced this pull request Nov 10, 2022
The current code does not treat capital and lowercase letters as
equivalent.

PR-URL: #45159
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
danielleadams pushed a commit that referenced this pull request Dec 30, 2022
The current code does not treat capital and lowercase letters as
equivalent.

PR-URL: #45159
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
danielleadams pushed a commit that referenced this pull request Jan 3, 2023
The current code does not treat capital and lowercase letters as
equivalent.

PR-URL: #45159
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

author ready PRs with CI started, the required approvals, and no outstanding review comments. tools Issues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants