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 a page for community built tools. #3711

Merged
merged 1 commit into from
Jun 17, 2024
Merged

Conversation

PhilipMetzger
Copy link
Collaborator

Thank you all for building tools around it.

Rendered

Checklist

If applicable:

  • I have updated the documentation (README.md, docs/, demos/)

@bnjmnt4n
Copy link
Collaborator

I'm wondering if we should just make a general Community page, which could also list articles/videos about Jujutsu. There's also the wiki, which lists integrations with other tools as well, which should also be spotlighted.

@PhilipMetzger
Copy link
Collaborator Author

I'm wondering if we should just make a general Community page, which could also list articles/videos about Jujutsu.

I think that is more in the direction of @khionu's community org, as we always can mention it here. But it is nice to have some prominent tools visible in the docs for people which aren't that set on living in the terminal.

There's also the wiki, which lists integrations with other tools as well, which should also be spotlighted.

Yes, but that is more free-form as you can just add to it w/o needing a +1 from a codereview.

@PhilipMetzger
Copy link
Collaborator Author

@bnjmnt4n I added lazyjj and mentioned the Wiki, so it's hopefully easier to find.

docs/community_tools.md Outdated Show resolved Hide resolved
docs/community_tools.md Outdated Show resolved Hide resolved
docs/community_tools.md Outdated Show resolved Hide resolved
Thank you all for building tools around it.
@PhilipMetzger PhilipMetzger enabled auto-merge (rebase) June 17, 2024 17:40
@PhilipMetzger PhilipMetzger merged commit 30f5486 into main Jun 17, 2024
17 checks passed
@PhilipMetzger PhilipMetzger deleted the push-xrlxkrmmywwq branch June 17, 2024 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants