diff --git a/docs/src/extensions/developing-extensions.md b/docs/src/extensions/developing-extensions.md index c1330a4c49eef4957b161dd0112e088dbe242d94..503d253fc33bb39d83ffcf3046e8d313bad0abd5 100644 --- a/docs/src/extensions/developing-extensions.md +++ b/docs/src/extensions/developing-extensions.md @@ -86,6 +86,8 @@ If you already have a published extension with the same name installed, your dev To publish an extension, open a PR to [the `zed-industries/extensions` repo](https://github.com/zed-industries/extensions). +> Note: It is very helpful if you fork the `zed-industries/extensions` repo to a personal GitHub account instead of a GitHub organization, as this allows Zed staff to push any needed changes to your PR to expedite the publishing process. + In your PR, do the following: 1. Add your extension as a Git submodule within the `extensions/` directory