2023-05-24 - production
13:07	<xSavitar>	tools.codesearch Deployed https://gerrit.wikimedia.org/r/c/labs/codesearch/+/909258 and also restarted tool instances to core search backend was dead.	[production]