mirror of
https://github.com/zed-industries/zed.git
synced 2024-10-07 19:40:01 +03:00
docs: Add note about forking the extensions repo to a personal GitHub account (#18631)
This PR adds a note to the docs encouraging folks to fork the `zed-industries/extensions` repo to a personal GitHub account rather than a GitHub organization, as this makes life easier for everyone. Release Notes: - N/A
This commit is contained in:
parent
8a18c94f33
commit
21336eb124
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user