We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Description
We have the p4estindent script and would make its use safer and more standardized.
p4estindent
Proposed solution
The text was updated successfully, but these errors were encountered:
For what it is worth, my current version of the git pre-commit hook that checks to see if a file is indented is here https://github.com/lcw/p4est_occa_tutorial/blob/084c089328819c5c9ebdb6ae90507bfc2a379152/misc/git/hooks/pre-commit
Sorry, something went wrong.
That could be a nice starting point.
No branches or pull requests
Description
We have the
p4estindent
script and would make its use safer and more standardized.Proposed solution
p4estindent
that makes it fail when working directory and git index are not the same.p4estindent
separately for each source and header file and report missing indentation.The text was updated successfully, but these errors were encountered: