On Mon, Jul 16, 2012 at 09:22:31AM +0200, Bjoern Michaelsen wrote: > I updated the gerrit tooling (and rewrote it in python), which now syncs the > dev-tools repository from freedesktop to gerrit. As the gerritbot tooling > itself is in the gerritbot directory of that repo, people can now also easily > suggest changes to the tooling via gerrit.
Heh, that does not work yet because of a freedesktop bug: https://bugs.freedesktop.org/show_bug.cgi?id=52181 Best, Bjoern _______________________________________________ LibreOffice mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice
