Squash and merge : garder un historique propre sur main

Beaucoup d'équipes activent l'option "Squash and merge" sur GitHub : tous les commits d'une PR sont regroupés en un seul commit sur main, quel que soit le nombre de commits "wip" dans la branche. Cela évite d'avoir à nettoyer soi-même l'historique avant de merger.

# Équivalent en local si vous mergez manuellement en squash
git switch main
git merge --squash feature/export-pdf
git commit -m "Ajoute l'export PDF"