+1, if it's not too big of a "lift" to get done I think it'd be great.
I've wondered before if "tidy" could be a "commit-hook", though the idea
probably isn't workable in practice due to tidy's ~30s runtime. I like
your PR-level check idea much better.
On Fri, Mar 22, 2024 at 2:33 PM David
Sometimes we make changes and forget to run tidy. It's rather annoying.
It occurred to me that our "precommit" GitHub PR action could be modified
to first run tidy and to commit the changes (if any) beforehand, pushing to
the source branch (generally on someone's fork). Here's a blog post with