Created a new tool https://toolsadmin.wikimedia.org/tools/id/dspull
The last Puppet run was at Fri Jul 19 16:22:24 UTC 2019 (8 minutes ago). Last login: Fri Jul 19 16:24:44 2019 from 8.8.8.8 ghuron@tools-sgebastion-07:~$ become dspull become: no such tool 'dspull'