PR #51 RFC 51: Rename lint.whitelist to lint.ignore

RFC 51: Rename lint.whitelist to lint.ignore #51

stephenmcgruer merged 4 commits into master from smcgruer/rename_lint

RFC ??: Rename lint.whitelist to lint.ignorelist

961b5221

stephenmcgruer changed the title ~~RFC ??: Rename lint.whitelist to lint.ignorelist~~ RFC 51: Rename lint.whitelist to lint.ignorelist 5 years ago

Fill in body:

d3e95644

change wording

63bfb7c0

stephenmcgruer marked this pull request as ready for review 5 years ago

stephenmcgruer changed the title ~~RFC 51: Rename lint.whitelist to lint.ignorelist~~ RFC 51: Rename lint.whitelist to lint.ignore 5 years ago

jgraham approved these changes on 2020-04-21

Ms2ger approved these changes on 2020-04-21

Hexcles approved these changes on 2020-04-21

stephenmcgruer commented on 2020-04-21

Update rfcs/rename_lint_whitelist.md

6324d623

gsnedders approved these changes on 2020-04-25

zcorpan approved these changes on 2020-04-25

stephenmcgruer merged 29dd3ece into master 5 years ago

stephenmcgruer deleted the smcgruer/rename_lint branch 5 years ago

Reviewers

zcorpan

gsnedders

Ms2ger

jgraham

Hexcles

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

rfcs RFC 51: Rename lint.whitelist to lint.ignore #51 Merged

RFC 51: Rename lint.whitelist to lint.ignore #51

rfcs
RFC 51: Rename lint.whitelist to lint.ignore
#51

Merged