Supprimer sa branche après merge
Intermédiaire# Une fois la PR mergée, supprimer localement
git switch main
git pull origin main
git branch -d feature/export-pdf
# Supprimer côté distant (souvent automatique sur GitHub après merge)
git push origin --delete feature/export-pdf