Skip to content

Conversation

bkonyi
Copy link
Collaborator

@bkonyi bkonyi commented Jan 19, 2022

Removes dependencies on devtools_server and devtools.

Fixes #1474

Removes dependencies on devtools_server and devtools.

Fixes #1474
@bkonyi bkonyi requested a review from annagrin January 19, 2022 00:52
@bkonyi
Copy link
Collaborator Author

bkonyi commented Jan 19, 2022

FYI @kenzieschmoll

Copy link
Contributor

@annagrin annagrin left a comment

Choose a reason for hiding this comment

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

LGTM! (but needs a sync and passing tests)

@bkonyi bkonyi merged commit 00832f8 into master Jan 27, 2022
@bkonyi bkonyi deleted the remove_devtools_server branch January 27, 2022 21:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Eliminate DevTools pub dependencies
3 participants