ChibiOS GitHub mirror no longer updating

[heliochronix]

Hello,

Just a heads up, it seems the GitHub mirror is no longer updating from trunk. I'm not sure if this was an automated process that has broken, or if it was a manually initiated process. If it's the former, I just wanted to let whoever handles that know that it seems to have stopped.

Thanks!

[Courtis]

I blame Microsoft lol. Kidding aside, yeah this appears to be broken somehow.

[mobyfab]

You probably only checked the master branch, check the trunk one.

[utzig]

It was broken some months ago when they posted... also fixed master now!