Skip to content

Conversation

@Trott
Copy link
Member

Remove explicit setting of configuration options in rules when those options are the defaults.

@nodejs-github-botnodejs-github-bot added the tools Issues and PRs related to the tools directory. label Nov 10, 2022
Remove explicit setting of configuration options in rules when those options are the defaults.
@mscdex
Copy link
Contributor

Do we have any easy way of telling if the defaults change in the future?

@Trott
Copy link
MemberAuthor

Trott commented Nov 10, 2022

Do we have any easy way of telling if the defaults change in the future?

Probably not. I suppose that could be a case for never using the defaults implicitly and spelling everything out in the config file, but I would prefer to go in the opposite direction of configuration file simplicity.

@TrottTrott added the commit-queue Add this label to land a pull request using GitHub Actions. label Nov 12, 2022
@nodejs-github-botnodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Nov 12, 2022
@nodejs-github-botnodejs-github-bot merged commit 9baf748 into nodejs:mainNov 12, 2022
@nodejs-github-bot
Copy link
Collaborator

Landed in 9baf748

ruyadorno pushed a commit that referenced this pull request Nov 21, 2022
Remove explicit setting of configuration options in rules when those options are the defaults. PR-URL: #45397 Reviewed-By: Joyee Cheung <[email protected]> Reviewed-By: Luigi Pinca <[email protected]>
@ruyadornoruyadorno mentioned this pull request Nov 24, 2022
danielleadams pushed a commit that referenced this pull request Dec 30, 2022
Remove explicit setting of configuration options in rules when those options are the defaults. PR-URL: #45397 Reviewed-By: Joyee Cheung <[email protected]> Reviewed-By: Luigi Pinca <[email protected]>
danielleadams pushed a commit that referenced this pull request Dec 30, 2022
Remove explicit setting of configuration options in rules when those options are the defaults. PR-URL: #45397 Reviewed-By: Joyee Cheung <[email protected]> Reviewed-By: Luigi Pinca <[email protected]>
danielleadams pushed a commit that referenced this pull request Jan 3, 2023
Remove explicit setting of configuration options in rules when those options are the defaults. PR-URL: #45397 Reviewed-By: Joyee Cheung <[email protected]> Reviewed-By: Luigi Pinca <[email protected]>
danielleadams pushed a commit that referenced this pull request Jan 4, 2023
Remove explicit setting of configuration options in rules when those options are the defaults. PR-URL: #45397 Reviewed-By: Joyee Cheung <[email protected]> Reviewed-By: Luigi Pinca <[email protected]>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

toolsIssues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@Trott@mscdex@nodejs-github-bot@lpinca@joyeecheung