[cross-project-issues-dev] Github mirroring seems broken

[Alex Lagarde <alex.lagarde@xxxxxxx>]

Hi everyone,

I noticed that the Github clone of the Mylyn Intent repository 
(https://github.com/eclipse/mylyn.docs.intent.main) does not reflect my 
latest commits (last commit is 14 days old).
It is also the case for the CDO github clone 
(https://github.com/eclipse/cdo) and the acceleo clone 
(https://github.com/eclipse/acceleo).

So either all eclipse commiters have stop working the past 2 weeks, or 
there is an issue in the Github mirroring mechanism :)

Does anyone know how to fix this ?

Best regards and thanks by advance,
Alex Lagarde (Morel)