Skip to content

script: Remove pointless rename.#41680

Merged
TimvdLippe merged 3 commits intomainfrom
jdm-patch-58
Jan 5, 2026
Merged

script: Remove pointless rename.#41680
TimvdLippe merged 3 commits intomainfrom
jdm-patch-58

Conversation

@jdm
Copy link
Copy Markdown
Member

@jdm jdm commented Jan 5, 2026

There's no naming conflict, and nowhere else the name NetRequestInit. All it does is increase confusion.

Testing: No runtime changes.

@jdm jdm requested a review from gterzian as a code owner January 5, 2026 05:59
@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Jan 5, 2026
@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Jan 5, 2026
@TimvdLippe TimvdLippe enabled auto-merge January 5, 2026 06:10
Signed-off-by: Josh Matthews <[email protected]>
@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Jan 5, 2026
@TimvdLippe TimvdLippe added this pull request to the merge queue Jan 5, 2026
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jan 5, 2026
Merged via the queue into main with commit 07714b6 Jan 5, 2026
32 checks passed
@TimvdLippe TimvdLippe deleted the jdm-patch-58 branch January 5, 2026 08:08
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jan 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-awaiting-review There is new code that needs to be reviewed.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants