PR #1580 feat(tactic/lint): silent linting

feat(tactic/lint): silent linting #1580

mergify merged 6 commits into master from lint

feat(tactic/lint): silent linting

c4184848

doc(tactic/lint): doc silent linting and nolint features

fc71bf56

fix test

50b276ad

robertylewis added RFC

change notation for silent linting

ddc4db7d

robertylewis removed RFC

robertylewis added awaiting-review

style(tactic/lint): remove commented lines

2950b93f

fpvandoorn approved these changes on 2019-10-28

fpvandoorn removed awaiting-review

fpvandoorn added ready-to-merge

Merge branch 'master' into lint

b89fdc39

mergify merged 7a8f53e1 into master 6 years ago

mergify deleted the lint branch 6 years ago

Reviewers

fpvandoorn

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone