On 2023-01-23 Mo 09:49, Jelte Fennema wrote: > Attached is a patch > that adds an updated pre-commit hook with the same behaviour > as the one before. I definitely think having a pre-commit hook > in the repo is beneficial, since writing one that works in all > cases definitely takes some time.
Not sure if this should go in the git repo or in the developer wiki. cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com
