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

Chore/change prettier hook #70

Merged
merged 10 commits into from
Nov 19, 2024

Conversation

JTaeuber
Copy link
Member

Motivation

Change outdated pre-commit hooks and auto update them.

Changes

  • Combined gitignores
  • Changed prettier hook
  • updated pre-commit hooks
  • Fixed readme link

@JTaeuber JTaeuber added the housekeeping A change that cleans or updates the repository. label Nov 18, 2024
@JTaeuber JTaeuber self-assigned this Nov 18, 2024
Copy link
Member

@jonathan-mayer jonathan-mayer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Interesting that pip is already installed.
I would normally have not wanted to have it installed twice but it shouldn't since pip is just going to say that the requirement is already met.

One consideration would be to move the autoupdate under the check so we don't have to install it manually.
The pre commit workfow would automatically run on the updated versions of the hooks once the workflow pushes the pre-commit-config.yaml changes.

@jonathan-mayer
Copy link
Member

While we are here we could also consider changing the check for release workflow to only run when the pull request is trying to merge to main.

Copy link
Member

@jonathan-mayer jonathan-mayer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LFineTM

@jonathan-mayer jonathan-mayer merged commit 682a174 into feat/add-docusaurus Nov 19, 2024
2 checks passed
@jonathan-mayer jonathan-mayer deleted the chore/ChangePrettierHook branch November 19, 2024 11:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
housekeeping A change that cleans or updates the repository.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants