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 firstname.lastname@example.org: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.