2020-07-08 - production
15:12	<moritzm>	rebooting people1002 (people.wikimedia.org) for kernel security update	[production]