Add DELETE /users/{id} with no-resources rule#317

Merged

PGijsbers merged 10 commits into

openml:mainfrom

igennova:issue/194

May 13, 2026

Commits on Apr 19, 2026

Add DELETE /users/{id} with no-resources rule
igennova
committed
query update
igennova
committed

Commits on Apr 28, 2026

suggested changes
igennova
committed