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

Exclude keys starting with some prefixes from linting #5991

Merged

eed3si9n merged 1 commit into sbt:develop from eed3si9n:wip/release-lint

Oct 19, 2020

Member

eed3si9n commented Oct 19, 2020

Fixes #5849


          Exclude keys starting with some prefixes from linting

5d876dc

Fixes sbt#5849

eed3si9n merged commit 9f7985a into sbt:develop

eed3si9n deleted the wip/release-lint branch

October 19, 2020 19:36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet