I noticed that we talk a bit about CI but not at all about pre-commit. They serve different purposes and not necessarily imply each other but for my personal work I rely significantly more on pre-commit than on CI (because whatever CI would be running is already ran by pre-commit). I'm aware that CI is probably the more important part, so we don't need to discuss that but should we add (at least a mentioning of) pre-commit somewhere?
I noticed that we talk a bit about CI but not at all about pre-commit. They serve different purposes and not necessarily imply each other but for my personal work I rely significantly more on pre-commit than on CI (because whatever CI would be running is already ran by pre-commit). I'm aware that CI is probably the more important part, so we don't need to discuss that but should we add (at least a mentioning of) pre-commit somewhere?