Skip to content

gpui: Update dependency package names - #40143

Merged
mikayla-maki merged 17 commits into
mainfrom
update-gpui-dependency-package-names
Oct 14, 2025
Merged

gpui: Update dependency package names#40143
mikayla-maki merged 17 commits into
mainfrom
update-gpui-dependency-package-names

Conversation

@mikayla-maki

Copy link
Copy Markdown
Member

This moves some of the changes made in #39543 to the publish_gpui script.

This PR also updates that script to use gpui_ instead of zed- (where possible)

Release Notes:

  • N/A

@cla-bot cla-bot Bot added the cla-signed The user has signed the Contributor License Agreement label Oct 13, 2025
@mikayla-maki
mikayla-maki force-pushed the update-gpui-dependency-package-names branch from dde56dc to 2cd9c9c Compare October 14, 2025 03:23
@mikayla-maki
mikayla-maki marked this pull request as ready for review October 14, 2025 04:09
@mikayla-maki
mikayla-maki enabled auto-merge (squash) October 14, 2025 04:28
@mikayla-maki
mikayla-maki merged commit ee60d58 into main Oct 14, 2025
24 checks passed
@mikayla-maki
mikayla-maki deleted the update-gpui-dependency-package-names branch October 14, 2025 04:43
jolutz pushed a commit to jolutz/zed that referenced this pull request Aug 8, 2026
This moves some of the changes made in
zed-industries#39543 to the `publish_gpui`
script.

This PR also updates that script to use `gpui_` instead of `zed-` (where
possible)

Release Notes:

- N/A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant