2019-06-27 - production
13:11	<godog>	depool restbase10(0[7-9]|1[0-5]) before merging https://gerrit.wikimedia.org/r/c/operations/puppet/+/513262	[production]