This should make it possible to use a robot account for quota management in maintain-harbor. It could also be worth exploring if the new robot permissions would make it possible to use a robot account for all of maintain-harbor, instead of a regular user like we do now.
- upgrade lima-kilo (via builds-builder)
- test if robot permissions work as expected
- upgrade toolsbeta
- upgrade tools
- test maintain-harbor
- update admin docs https://wikitech.wikimedia.org/wiki/Portal:Toolforge/Admin/Harbor#Upgrade_Harbor