Renaming X to Y then back to X causes confusion

I have a project “kepi” on gitlab, which I renamed to “chapeau”, then later back to “kepi”.

The UI correctly displays the name “kepi”, but the name “chapeau” is still in the URL. Furthermore, commits to kepi’s repo get the message

remote:
remote: Project 'marnanel/kepi' was moved to 'marnanel/chapeau'.
remote:
remote: Please update your Git remote:
remote:
remote:   git remote set-url origin git@gitlab.com:marnanel/chapeau.git
remote:

I think this is a gitlab bug. When I went to the tracker to report it, it told me to ask about it here, so here I am.