CIP kernel in Gitlab.com

Hi,

the past few weeks, maybe related with the problems gitlab.com has experienced, the automatic update of our kernel in gitlab.com has given us problems to the extend that we took two actions:
* Disable the automatic updates
* Use directly the kernel.org repo in Board at desk - single dev

Since the week before I was at ELC and last week on vacation, the CIP kernel is not up to date compared to the kernel.org one. I am currently updating it.

I am monitoring gitlab.com service. I hope I can restore the automatic updates soon. Meanwhile, I will update it manually at least on weekly basis.

Best Regards

Agustin Benito Bethencourt
Principal Consultant - FOSS at Codethink
agustin.benito at codethink.co.uk