It was already reported - [Incident] System outage and Mercurial instability - Tuesday 8 November - Mbed OS - Arm Mbed OS support forum
BR, Jan
