2019-10-28 - tools
14:43	<arturo>	adding `role::wmcs::toolforge::proxy` to the `tools-proxy` puppet prefix (T235627)	[tools]