From 21336eb12491e3b505437c8d3fa99e7aaf64460f Mon Sep 17 00:00:00 2001 From: Marshall Bowers Date: Wed, 2 Oct 2024 10:10:53 -0400 Subject: [PATCH] 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 --- docs/src/extensions/developing-extensions.md | 2 ++ 1 file changed, 2 insertions(+) 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