Que la force soit avec toi, Luca (fr)

Il y a quelques temps, un développeur sur le projet Jenkins a accidentellement déclenché un push force sur les dépôts GitHub qui stockent les dépôts Git pour le code Jenkins, effaçant ainsi plusieurs mois de commits. La communauté a été très compréhensive et le problème a été rapidement résolu, mais cela met en évidence certains problèmes.