Renaming a project
- Git repository:
Create a new repository on git.gnome.org with the new name, see Git/NewRepository (for the new repo, keep a common history with the old repo of course).
- Rename wiki pages with redirections.
- Rename the bugzilla product, it can be done by going to the “Edit this product” link.
If the project is an application, add the old *.desktop file name in the AppData to not loose reviews and ratings in gnome-software, see this blog post. This is done with <provides> and <id> tags (in 2017 at least).