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.