Puppet names new chief marketing officer

The new executive will lead Puppet's marketing efforts as it pushes its customer base further into the Global 5000.