2019-08-07 - codesearch
20:10	<legoktm>	deleting now unneeded ggmirror-02 instance	[codesearch]