Skip to content

Fix newLint.sh CLI#897

Merged
christopher-henderson merged 3 commits intozmap:masterfrom
kowshikRoy:contribute
Nov 17, 2024
Merged

Fix newLint.sh CLI#897
christopher-henderson merged 3 commits intozmap:masterfrom
kowshikRoy:contribute

Conversation

@kowshikRoy
Copy link
Copy Markdown
Contributor

The newLint.sh script now

  • accepts the lint name as an argument and
  • validates its prefix (e_, w_, or n_) for consistency.
  • automatically determines the filename.

The CONTRIBUTING.md file has been updated accordingly.

The `newLint.sh` script now
- accepts the lint name as an argument and
- validates its prefix (e_, w_, or n_) for consistency.
- automatically determines the filename.

The CONTRIBUTING.md file has been updated accordingly.
@christopher-henderson christopher-henderson merged commit 5807078 into zmap:master Nov 17, 2024
@kowshikRoy kowshikRoy deleted the contribute branch November 18, 2024 21:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants