Skip to content

Add a --enterprise CLI flag to the lint command#3770

Merged
willdurand merged 1 commit into
masterfrom
enterprise
Jul 7, 2026
Merged

Add a --enterprise CLI flag to the lint command#3770
willdurand merged 1 commit into
masterfrom
enterprise

Conversation

@willdurand

@willdurand willdurand commented Jul 7, 2026

Copy link
Copy Markdown
Member

Fixes #3771


This PR adds a new CLI option to the lint command, so that we can lint
an enterprise extension.

@willdurand willdurand requested a review from rpl July 7, 2026 07:32

@rpl rpl left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

lgtm

@willdurand willdurand merged commit 7986ba2 into master Jul 7, 2026
4 checks passed
@willdurand willdurand deleted the enterprise branch July 7, 2026 13: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.

Add a --enterprise CLI flag to the lint command

2 participants