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

Add a doc that describes tools related to RBS #1125

Merged

Conversation

pocke
Copy link
Member

@pocke pocke commented Oct 16, 2022

This PR adds documentation to describe tools related to RBS.

Currently, there is no document for the tools in this repository. I think the document is necessary.
Actually, RBS is not a very major library. Editors do not support RBS by default, so RBS users must install a plugin to write RBS comfortably. This document is useful in this situation.

By the way, I recently held an RBS workshop with colleagues. I wanted the documentation, but it didn't exist.


I just added major tools, so I probably forgot some tools. Feel free to add links if someone remembers them.

(These links are in alphabetical order to avoid Editor War 😆)

@soutaro
Copy link
Member

soutaro commented Oct 17, 2022

@pocke Could you rename the file to tools.md ?

docs/integrations.md Outdated Show resolved Hide resolved
docs/integrations.md Outdated Show resolved Hide resolved
docs/integrations.md Outdated Show resolved Hide resolved
pocke and others added 3 commits October 19, 2022 01:00
* Rename title to Tools
* Add steep's description

Co-authored-by: Soutaro Matsumoto <matsumoto@soutaro.com>
@adam12
Copy link
Contributor

adam12 commented Oct 19, 2022

(These links are in alphabetical order to avoid Editor War)

IMHO, I might add that to the doc. This documentation describes major tools related to RBS. They are listed alphabetically.

@pocke
Copy link
Member Author

pocke commented Nov 2, 2022

@adam12 Thanks for your suggestion! I applied your suggestion in 5f2f1f9

@pocke pocke merged commit 6bfd72f into ruby:master Nov 2, 2022
@pocke pocke deleted the Add_a_doc_that_describes_tools_related_to_RBS branch November 2, 2022 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants