mirror of
https://github.com/zed-industries/zed.git
synced 2026-07-09 16:00:35 +00:00
Re-add section about extension API to CONTRIBUTING.md (#59702)
This was lost in https://github.com/zed-industries/zed/pull/58627 Release Notes: - N/A
This commit is contained in:
parent
e1bfff8d09
commit
3601a7c8c2
1 changed files with 1 additions and 0 deletions
|
|
@ -68,6 +68,7 @@ submitted. **If you'd like your PR to have the best chance of being merged**:
|
|||
Although there are few hard and fast rules, **typically we don't merge**:
|
||||
|
||||
- Anything that can be provided by an extension. For example a new language, or theme. For adding themes or support for a new language to Zed, check out our [docs on developing extensions](https://zed.dev/docs/extensions/developing-extensions).
|
||||
- Changes to the Zed Extension API submitted without prior discussion involving Zed staff.
|
||||
- New file icons. Zed's default icon theme consists of icons that are hand-designed to fit together in a cohesive manner, please don't submit PRs with off-the-shelf SVGs.
|
||||
- Features where (in our subjective opinion) the extra complexity isn't worth it for the number of people who will benefit.
|
||||
- Giant refactorings.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue