Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Consider rename this repo name to wasi-config #17

Closed
Mossaka opened this issue Sep 28, 2024 · 2 comments
Closed

Consider rename this repo name to wasi-config #17

Mossaka opened this issue Sep 28, 2024 · 2 comments

Comments

@Mossaka
Copy link
Collaborator

Mossaka commented Sep 28, 2024

The runtime name is dropped from all interfaces. See #14 (comment)
@thomastaylor312
Copy link
Collaborator

Making sure this is here publicly, I'm in agreement with this change.

@ricochet
Copy link

ricochet commented Oct 8, 2024

After the last WASI SG, we had agreement to rename. Rename complete!

@ricochet ricochet closed this as completed Oct 8, 2024
@scothis scothis mentioned this issue Oct 9, 2024
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ricochet @thomastaylor312 @Mossaka