Synchronisation d’une branche locale pour qu’elle suive la branche distante correspondante.
Cela permet de synchroniser les modifications locales avec le dépôt distant et de faciliter la collaboration avec d’autres contributeurs.
git push --set-upstream origin main