bisturi ini keys: 5 edits in 2 file(s)

bisturi ini keys: 5 edits in 2 file(s): a task in bisturi-harbor (Harbor dataset). Here are the edits to make: 1. In settings.ini : in the cache section delete the port line. 2. In settings.ini : in the metrics section delete the enabled line. 3. In settings.prod.ini : in the server section…

The task

Here are the edits to make: 1. In `settings.ini`: in the `[cache]` section delete the `port` line. 2. In `settings.ini`: in the `[metrics]` section delete the `enabled` line. 3. In `settings.prod.ini`: in the `[server]` section, rename `workers` to `num_workers`, keeping the value. 4. In `settings.prod.ini`: in the…

Part of efederici/bisturi-harbor.