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 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.
On Sun, Jun 11, 2017 at 7:15 AM, Sébastien Wilmet 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-continuo
Hi,
I would like to rename Gtef (GTK+ text editor framework) to Tepl (Text
editor product line). I don't really like the name Gtef.
https://wiki.gnome.org/Projects/Gtef
- The wiki page can easily be renamed, with a redirection for the old
page.
- What to do about the git repo? Creating a new r