2021-07-28 - devtools
16:39	<andrewbogott>	rebooting gerrit-prod-1001; seemingly unreachable	[devtools]