Please delete stable/20240725 created by mistake

[drodriguez]

I accidentally created stable/20240725 by mistake when quickly typing the branch name and not looking what I was doing.

It seems that I can create branches, but I cannot delete "protected" branches. If someone can delete that blunder for me, it will be appreciated.

Thanks!