gerrit-to-freedesktop synchronisation not happening

[Lionel Elie Mamane]

It seems the synchronisation (or rather, mirroring) from the gerrit
git repo to the freedesktop read-only (anonymous access) mirror is not
happening anymore. The freedesktop mirror is stuck at

commit 213e1f9f85b5edb266607a29f5b02e36904d1070
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Mon Aug 11 16:27:14 2014 +0200

    fixup

    Change-Id: I35996d4337421317ae1c6da2a4647b231782d882

while the gerrit git repo has 22 more commits.

-- 
Lionel