Date: prev next · Thread: first prev next last
2012 Archives by date, by thread · List index


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

Context


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.