Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: add known extensions #2588

Merged
merged 2 commits into from
Sep 20, 2022
Merged

docs: add known extensions #2588

merged 2 commits into from
Sep 20, 2022

Conversation

UziTech
Copy link
Member

@UziTech UziTech commented Sep 19, 2022

Description

Add a list of known extensions to the docs

Contributor

  • no tests required for this PR.

Committer

In most cases, this should be a different person than the contributor.

@UziTech UziTech added the category: docs Documentation changes label Sep 19, 2022
@vercel
Copy link

vercel bot commented Sep 19, 2022

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated
marked-website ✅ Ready (Inspect) Visit Preview Sep 20, 2022 at 0:47AM (UTC)

@calculuschild
Copy link
Contributor

calculuschild commented Sep 19, 2022

Should we add a small instruction for users who want to add their extension to the list?

Also, for the future, are we planning to just list any extension we come across or should there be some kind of criteria for "good" extensions?

@UziTech
Copy link
Member Author

UziTech commented Sep 20, 2022

Should we add a small instruction for users who want to add their extension to the list?

I don't think we need any instructions other than to keep the list in alphabetical order, which I put in a comment above the list.

Also, for the future, are we planning to just list any extension we come across or should there be some kind of criteria for "good" extensions?

I think any extension that is maintained is good. If anyone wants to add or remove an extension they can create a PR.

@UziTech UziTech merged commit 7c907cb into master Sep 20, 2022
@UziTech UziTech deleted the known-extensions branch September 20, 2022 01:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category: docs Documentation changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants