gerrit-to-freedesktop synchronisation not happening

[Norbert Thiebaud]

On Tue, Aug 12, 2014 at 7:58 AM, Lionel Elie Mamane <lionel at mamane.lu> wrote:
> 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.

Fixed

Norbert