Skip to content

chore: Renames settings.json to be settings.recommendation.json and enhance .gitignore content#471

Merged
copybara-service[bot] merged 1 commit intomainfrom
test_814806918
Oct 3, 2025
Merged

chore: Renames settings.json to be settings.recommendation.json and enhance .gitignore content#471
copybara-service[bot] merged 1 commit intomainfrom
test_814806918

Conversation

@copybara-service
Copy link

chore: Renames settings.json to be settings.recommendation.json and enhance .gitignore content

  • It's not a good practice to enforce settings.json, since each developer may have different settings of their specific IDE env.
  • It's no-harm to have a recommended template to start with.
  • extensions.json is good, since it gives suggestion on the useful vs code extensions.

@copybara-service copybara-service bot force-pushed the test_814806918 branch 2 times, most recently from 02d4a5f to 860bc80 Compare October 3, 2025 21:30
…nhance .gitignore content

- It's not a good practice to enforce settings.json, since each developer may have different settings of their specific IDE env.
- It's no-harm to have a recommended template to start with.
- `extensions.json` is good, since it gives suggestion on the useful vs code extensions.

PiperOrigin-RevId: 814834055
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant