Re: Renaming a project

[Sébastien Wilmet <swilmet gnome org>]

On Sun, Jun 11, 2017 at 09:22:56AM -0400, Jeremy Bicha wrote:
> On Sun, Jun 11, 2017 at 7:15 AM, Sébastien Wilmet <swilmet gnome org> wrote:
> > - What to do about the git repo? Creating a new repo with the new name
> >   and placing the old one in the deprecated section?
>
> I believe you can push the new git repo.
>
> Remember to update jhbuild
> If your project was built by gnome-continuous (it doesn't look to me
> like it is), you'd want to update that too.
>
> Then file a bug like this:
> https://bugzilla.gnome.org/769952

Great, I'll do the same.

> > - For the bugzilla product it's less important, especially if we move to
> >   GitLab.
>
> There isn't as much of a need for a bugzilla redirect and you should
> be able to rename the bugzilla product yourself:
> https://bugzilla.gnome.org/editproducts.cgi?action=edit&product=gtef

Indeed, I'll try to rename the product there and see what happens.

Thanks for the information!

--
Sébastien