Likely, it was their coworker who saw the changes, then reported the incident to the manager, rather than some sort of manager picking through every commit type

Likely, it was their coworker who saw the changes, then reported the incident to the manager, rather than some sort of manager picking through every commit type process.