On Thu, Feb 9, 2023 6:10 AM Andrew Dunstan <and...@dunslane.net> wrote: > Thanks, I have committed this. Still looking at Robert's other request. >
Hi, I tried the new option --commit and found that it seems to try to indent files which are deleted in the specified commit and reports an error. cannot open file "src/backend/access/brin/brin.c": No such file or directory It looks we should filter such files. Regards, Shi Yu