Microsofts Code-Plattform Github hat am Montag ungeplant Pause gemacht. Manche Entwickler auch.