As git-auto-commit by default does not use your username and ... In other words, this will allow your workflow to be run in the repository where the pull request is opened to and will push changes ...

Provide a low-overhead build of all the tooling available for the hooks to use (naive implementation of calling nix-shell does bring some latency when committing) ...