You're absolutely right. I was planning to modify the git hook so
"production" never gets automatically updated, but the dev environments
(branches of production) do, so junior puppet developers at our place
can continue working without needing an administrator to push their
changes into production.
We're quite advanced puppet users in some ways, but the puppetmaster
itself was the first component I built and is showing its age now. I'm
still finding my way trying to invent a suitable workflow and modernise
my puppetmaster.
Thanks for your help :)
Jonathan