I've introduced instrumentation at my workplace, and someone brought up the issue of the messiness of .clj-kondo/metosin/malli-types/config.edn updating between different branches/PRs and whether we should commit the file or not. We're calling (mdev/start!) in both dev and testing environments, so I believe that's generating the files fresh every time. Could we get away with .gitignoring the file and having it be generated by all users and the CI pipeline?

For those using function instrumentation in prod, do you run (mdev/start!) somewhere in your start-up sequence?