I can't see this repository myself any more - it looks like perhaps you made it private? Anyway, you should be able to delete it yourself now, since we've fixed the underlying bug.
I can't see this repository myself any more - it looks like perhaps you made it private? Anyway, you should be able to delete it yourself now, since we've fixed the underlying bug.