Skip to content

Rename emit-provider subcommand to emit-plugin #819

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Nov 19, 2024
Merged

Rename emit-provider subcommand to emit-plugin #819

merged 1 commit into from
Nov 19, 2024

Conversation

jeffcharles
Copy link
Collaborator

Description of the change

Renames javy emit-provider to javy emit-plugin. This is a breaking change of Javy's command line interface.

Why am I making this change?

Part of #768. This will keep the terminology consistent in Javy.

Checklist

  • I've updated the relevant CHANGELOG files if necessary. Changes to javy-cli and javy-plugin do not require updating CHANGELOG files.
  • I've updated the relevant crate versions if necessary. Versioning policy for library crates
  • I've updated documentation including crate documentation if necessary.

@jeffcharles jeffcharles merged commit 4400fe9 into main Nov 19, 2024
7 checks passed
@jeffcharles jeffcharles deleted the jc.rename-emit-provider-to-emit-plugin branch November 19, 2024 18:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@saulecabrera saulecabrera saulecabrera approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jeffcharles @saulecabrera