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

Make it easier to “make pre-commit” #6519

Closed
Tracked by #6890
alexec opened this issue Aug 10, 2021 · 1 comment · Fixed by #6893
Closed
Tracked by #6890

Make it easier to “make pre-commit” #6519

alexec opened this issue Aug 10, 2021 · 1 comment · Fixed by #6893
Labels
type/feature Feature request

Comments

@alexec
Copy link
Contributor

alexec commented Aug 10, 2021

This is one of the biggest barriers to getting good PR done. How can we make this easier? Maybe running the tools in a container?

@alexec alexec added the type/feature Feature request label Aug 10, 2021
@alexec alexec linked a pull request Oct 8, 2021 that will close this issue
@alexec
Copy link
Contributor Author

alexec commented Oct 8, 2021

No one complaints too much about installing the tooling. I'm not sure putting it in Docker would be a good cost/benefit decisinios.

@alexec alexec closed this as completed Oct 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/feature Feature request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant