Skip to content

Add eslint header plugin#534

Merged
bertschneider merged 1 commit intomainfrom
FUZZ-764_eslint_header
Aug 2, 2023
Merged

Add eslint header plugin#534
bertschneider merged 1 commit intomainfrom
FUZZ-764_eslint_header

Conversation

@bertschneider
Copy link
Contributor

@bertschneider bertschneider commented Aug 1, 2023

This plugin automatically checks the existence of correct copyright headers and adds them via the fix command.

@bertschneider bertschneider requested a review from a team August 1, 2023 08:37
@bertschneider bertschneider force-pushed the FUZZ-764_eslint_header branch from 35fa123 to daef4ec Compare August 1, 2023 09:09
This plugin automatically checks the existence of correct copyright
header and adds them via the `fix` command.
@bertschneider bertschneider force-pushed the FUZZ-764_eslint_header branch from daef4ec to ed744ac Compare August 1, 2023 09:10
@bertschneider bertschneider merged commit 2491b59 into main Aug 2, 2023
@bertschneider bertschneider deleted the FUZZ-764_eslint_header branch August 2, 2023 14:00
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