--- openapi: delete /settings/repository/{id} ---