Possible delete Repo with unmatched name

First of all, I'm not sure it's a relevant bug, or just the correct behaviour.

I'm just curious about gitlab delete repository feature.

Whenever I want to delete the repository, Gitlab wants me to fill the repository name.

But, when I fill the repository name with the different name, then just play with some html inspection, when I submit the modal form, gitlab says my repository is going to deleted.