Re: gerrit-to-freedesktop synchronisation not happening

2014-08-11 Thread Norbert Thiebaud
On Tue, Aug 12, 2014 at 7:58 AM, Lionel Elie Mamane 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 213e1f9f85b5edb266607a29f5b02

gerrit-to-freedesktop synchronisation not happening

2014-08-11 Thread 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 Date: Mon Aug 11 16:27:14 2