Updating an Extension
To update an extension, open a PR to the zed-industries/extensions repo.
Update PRs are subject to the same pull request rules as new submissions.
In your PR, do the following:
- Update the extension’s submodule to the commit of the new version. For this, you can run
# From the root of the repository:
git submodule update --remote extensions/your-extension-name
to update your extension to the latest commit available in your remote repository.
- Update the
versionfield for the extension inextensions.toml.- Make sure the
versionmatches the one set inextension.tomlat the particular commit.
- Make sure the
If you’d like to automate this process, there is a community GitHub Action you can use.
For questions around maintaining (or no longer maintaining) your extension, see the FAQ.