Pour mémoire. Je connaissais le hard reset, pour supprimer le dernier commit :
git reset --hard HEAD~1
Mais il existe aussi le soft reset :
git reset --soft HEAD~1
La différence ? Le hard reset supprime à la fois le commit et les changements (dans le code). Alors que le soft reset supprime le commit mais conserve les changements correspondants (ceux-ci reviennent dans l'état "uncommited").
La boule de cristal des européistes prévoit qu'un Brexit sans accord infligera une perte nette de 500000 emplois pour la Grande-Bretagne, 300000 pour l'Allemagne, 140000 pour la France et l'Italie.