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

Rename wrangler-devtools package #4314

Closed
lrapoport-cf opened this issue Oct 31, 2023 · 0 comments · Fixed by #7258
Closed

Rename wrangler-devtools package #4314

lrapoport-cf opened this issue Oct 31, 2023 · 0 comments · Fixed by #7258
Assignees
@workers-devprod
Labels
maintenance Maintenance task

Comments

@lrapoport-cf
Copy link
Contributor

lrapoport-cf commented Oct 31, 2023 •
edited
Loading

DEVX-1459

the wrangler-devtools package is used in more than just wrangler, so let's rename to chrome-devtools-patches to broaden and more accurately reflect the package purpose/contents
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@workers-devprod workers-devprod

Labels
maintenance Maintenance task
Projects
workers-sdk
Status: Done
Milestone
No milestone
2 participants
@lrapoport-cf @workers-devprod