3 ms·
What's the Rubocop case?
by scrollaway 6y ago
What's the Rubocop case?
- viraptor 6y agohttps://github.com/rubocop-hq/rubocop/issues/8091 https://github.com/rubocop-hq/rubocop/issues/8091 Proposal for removing "cop". TL;DR: Rejected by author because the name is so established as a brand it would take massive effort to change.
- mercer 6y agoYeah, that one seems reasonable to me too. I am somewhat cop-averse (at least in the US), but the justification for keeping the name are reasonable.