Skip to content

[TRIVIAL] Rename Web3's DynProvider alloy -> provider#4123

Merged
jmg-duarte merged 2 commits intomainfrom
jmgd/alloy/rename
Feb 3, 2026
Merged

[TRIVIAL] Rename Web3's DynProvider alloy -> provider#4123
jmg-duarte merged 2 commits intomainfrom
jmgd/alloy/rename

Conversation

@jmg-duarte
Copy link
Copy Markdown
Contributor

Description

Renames alloy to provider. Done in a separate PR from the removal due to the number of changes

Changes

  • alloy -> provider

@jmg-duarte jmg-duarte requested a review from a team as a code owner February 3, 2026 17:00
@jmg-duarte jmg-duarte changed the title [TRIVIAL] Rename alloy -> provider [TRIVIAL] Rename Web3's DynProvider alloy -> provider Feb 3, 2026
Copy link
Copy Markdown
Contributor

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request refactors the codebase by renaming the alloy field to provider. The changes are purely mechanical and have been applied consistently across all affected files. No critical issues found.

Copy link
Copy Markdown
Contributor

@MartinquaXD MartinquaXD left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved blindly because I assume you just used rust analyzer's rename functionality.

@jmg-duarte
Copy link
Copy Markdown
Contributor Author

Approved blindly because I assume you just used rust analyzer's rename functionality.

Yes I did

@jmg-duarte jmg-duarte enabled auto-merge February 3, 2026 17:45
@jmg-duarte jmg-duarte added this pull request to the merge queue Feb 3, 2026
Merged via the queue into main with commit fe6e19a Feb 3, 2026
19 checks passed
@jmg-duarte jmg-duarte deleted the jmgd/alloy/rename branch February 3, 2026 18:09
@github-actions github-actions bot locked and limited conversation to collaborators Feb 3, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants