On 2024-05-18 Sa 16:54, Yasir wrote:
Yes, git creates .git/info/exclude but point is, it is not in PG maintained codebase repo. So, no point adding to it.
BTW, Tom and Peter said it's not going to be added anyway!
You've completely missed my point, which is that *you* should be adding it to that file, as an alternative to using a (locally) global gitignore file.
I agree with Tom and Peter.
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com