Hi all, 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. Best, Bjoern