GitHub en crise après le vol de 3 800 dépôts par des hackers