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

Add pre commit metadata #343

Merged
merged 3 commits into from
Jul 27, 2023
Merged

Add pre commit metadata #343

merged 3 commits into from
Jul 27, 2023

Conversation

multimeric
Copy link
Contributor

@multimeric multimeric commented Jul 27, 2023

Closes #308.

This is really dead simple, but I've tested it on a repo and it works great. I use no args by default to ensure users can customize everything by adding flags.

Here's an example .pre-commit-config.yaml you can use to test my fork on another repo:

repos:
  - repo: https://github.com/multimeric/FawltyDeps
    rev: e47521ef
    hooks:
      - id: check
        args:
          - --detailed

Copy link
Member

@jherland jherland left a comment

Choose a reason for hiding this comment

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

I checked this against the documentation on https://pre-commit.com and ran it without problems in a local repo. Looks all good to me! 🚀

Thanks for your contribution @multimeric!

@jherland jherland merged commit 9ccfaab into tweag:main Jul 27, 2023
12 checks passed
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.

Pre-commit hook
2 participants