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).

  • Ask on bugzilla to redirect the old git repo to the new repo, and to archive the old repo. Example for Gtef -> Tepl: bugzilla ticket, old repo archived, new repo.

• 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).

• Etc.