git-pbchk suffers classic pipe deadlock
tools - gate/build tools
git-pbchk runs git, lets it write the output to a pipe, and waits for it to complete. For output larger than the pipe buffer we will thus deadlock.
We should do what Checks/Process* do, and write to an auto-deleting temporary file.