AJA: git push --force-with-lease

Via un collègue (merci à lui !) j'ai appris l'existence de git push --force-with-lease.

L'intérêt est d'éviter de possibles race conditions quand on fait un force-push vers une branche distante -- souvent à l'occasion d'un rebase -- et de perdre ainsi les éventuelles modifications qu'un collègue aurait introduit. C'est très bien expliqué ici.

Vu l'intérêt de cette commande, un alias peut être utile, par exemple git config --global alias.pf "push --force-with-lease".