Skip to content

Use "Arduino Lint" as the project name #157

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

Merged
merged 1 commit into from
Jan 12, 2021
Merged

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jan 12, 2021

The tool's command name is arduino-lint. Previously, this was also used as the project name but it was decided that
"Arduino Lint" is a better project name. arduino-lint should only be used when referring to the command.

The tool's command name is `arduino-lint`. Previously, this was also used as the project name but it was decided that
"Arduino Lint" is a better project name. `arduino-lint` should only be used when referring to the command.
@per1234 per1234 requested review from rsora and ubidefeo January 12, 2021 13:00
Copy link
Contributor

@rsora rsora left a comment

Choose a reason for hiding this comment

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

LGTM

@per1234 per1234 merged commit bf0d1b4 into main Jan 12, 2021
@per1234 per1234 deleted the per1234/update-product-name branch January 12, 2021 13:13
@per1234 per1234 added topic: code Related to content of the project itself topic: documentation Related to documentation for the project type: enhancement Proposed improvement labels Sep 29, 2021
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself topic: documentation Related to documentation for the project type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants