Puppet agent

Hello,
I have a Satellite 6.3 and several hosts. Now I'd like to use puppet in order to manage configurations.
Following official guide I should install puppet-agent from satellite-tools repo but there's also another repo called satellite-tools-puppet4. From which repo should I install package?

Thanks!