Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change prettier to a direct node use. #4550

Merged
merged 1 commit into from
Nov 18, 2024

Conversation

jonmeow
Copy link
Contributor

@jonmeow jonmeow commented Nov 18, 2024

The prettier pre-commit mirror is no longer supported (https://github.com/pre-commit/mirrors-prettier). This switches to a direct call, and updates to 3.3.3. And I'm now specifying types for it to apply to, rather than letting it ignore unknown files; overall just trying to separate out which linter sees what.

To comment on formatting changes:

  • In most cases, seems to be getting confused by [] use in markdown when it's not part of a link. This looks like a regression, but not one we're broadly affected by.
  • p0107.md - caught an issue with a malformed broken bad link which I've tried to fix.
  • p3720.md - looks like a fix.

Note, prettier has a 4.0.0 alpha release. As best as I could tell, that only affected the .prettierrc.yaml processing. I changed the glob there for forwards compatibility.

@github-actions github-actions bot added documentation An issue or proposed change to our documentation infrastructure labels Nov 18, 2024
@zygoloid zygoloid added this pull request to the merge queue Nov 18, 2024
Merged via the queue into carbon-language:trunk with commit b5368b3 Nov 18, 2024
10 checks passed
@jonmeow jonmeow deleted the prettier branch November 19, 2024 21:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation An issue or proposed change to our documentation infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants