Delete accidentally uploaded coverage

Hi @pmeier

Normally I would say this is hard, but I recently learned we have a API endpoint for this API delete commit: 403 (Forbidden)

It’s not currently usable, but I’m working on getting it fixed.