2020-08-26 - tools
08:54	<arturo>	merged several patches by bryan for toolforge front proxy (cleanups, etc) example: https://gerrit.wikimedia.org/r/c/operations/puppet/+/622435	[tools]