Looking at https://gitlab.com/u/thepiercingarrow2, you can see that it lists a dotfiles repository. As a result, I cannot make a dotfiles repository, as one already exists. However, when I go to the repository page at https://gitlab.com/thepiercingarrow2/dotfiles, I get the 404 error message. As a result, I cannot delete the repository (which doesn’t exist in the first place). How would I fix this?