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.

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

change boa cli binary name to just "boa" #326

Merged
merged 2 commits into from
Apr 17, 2020
Merged

change boa cli binary name to just "boa" #326

merged 2 commits into from
Apr 17, 2020

Conversation

sphinxc0re
Copy link
Contributor

No description provided.

@HalidOdat HalidOdat added the cli Issues and PRs related to the Boa command line interface. label Apr 17, 2020
Razican
Razican approved these changes Apr 17, 2020
View reviewed changes
Copy link
Member

@Razican Razican left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changes look good, and I think it's a good idea for the CI to be named boa.

@Razican Razican changed the title change boa cli binary name to just "boa" change boa cli binary name to just "boa" Apr 17, 2020
@Razican Razican merged commit f5d332c into boa-dev:master Apr 17, 2020
@sphinxc0re sphinxc0re deleted the patch-1 branch April 17, 2020 13:45
@Razican Razican added this to the v0.8.0 milestone Apr 18, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Razican Razican Razican approved these changes

@HalidOdat HalidOdat HalidOdat approved these changes

Assignees
No one assigned
Labels
cli Issues and PRs related to the Boa command line interface.
Projects
None yet
Milestone
v0.8.0
Development

Successfully merging this pull request may close these issues.
3 participants
@sphinxc0re @Razican @HalidOdat