On Wed, Dec 7, 2022 at 11:19 PM Andrew Bogott abogott@wikimedia.org wrote:
Everything should be back to normal now!
Update: everything should be back to normal _now_ :)
Long story: after the reboot, toolsdb was available but set to read-only mode. TIL: Write mode needs to be enabled manually after a reboot.
Apologies for the inconvenience.
Francesco