On Wed, Aug 21, 2013 at 12:15:32AM +0200, Andrea Veri wrote: > 2. many other scripts are relying on <name> matching the exact > repository-name.
Which ones? No script that I am aware of uses this to figure out the repository name. It uses https://git.gnome.org/repositories.doap, and that contains the real repository name. -- Regards, Olav _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list