Se débarrasser des fichiers *.orig que laisse git merge


Ras-le-bol des fichiers *.orig qui trainent après un merge sous git ? Cette “fonctionnalité” peut être désactivée en une commande :

git config --global mergetool.keepBackup false

Et bien sûr, si vous en avez qui traînent d’un merge précédent :

find . -name "*.orig" -delete
Des questions Python sans rapport avec l'article ? Posez-les sur IndexError.