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
