On Thu, Aug 22, 2013 at 12:28:43PM +0200, Andrea Veri wrote: > No, sorry for not pointing that out on my previous email, you can use a > <name> tag of your choice but it would be simply awesome to have all the > <GitRepositories> tags in place.
GitRepositories is really not needed. A script adds that, there is no need to add such information IMO. -- Regards, Olav _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
