Closed hibariya closed 3 weeks ago
@hibariya Thanks for your contribution!
Please follow the instructions below for each change. See also: https://github.com/ruby/gem_rbs_collection/blob/main/docs/CONTRIBUTING.md
You can use the following commands by commenting on this PR.
/merge
: Merge this PR if CI passesYou changed non-gem files.
@pocke, please review and approve the changes.
LGTM!
Thanks for your review, @pocke!
@hibariya, @pocke This PR is ready to be merged.
Just comment /merge
to merge this PR.
I want to add a very basic
devcontainer.json
file since I think it's handy to get started for those who use containers for development. With this, developers can quickly start to work on something on this repo with their containers on local machines, Codespaces, etc.