> If those tools are writing the code then in general I do expect that to be included in the PR!
How about compiler?
How about compiler?
Similarly, if I use e.g. jextract or uniffi to generate Java interfaces from C code and check that in, I'll create tooling to automatically run those, and the commit will be attributed to that tooling.