Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Cas d'utilisation : J'ai fait des comits localement que je n'ai pas pushés. Des commits ont été pushés entre temps sur le dépôt distant. Je veux donc rendre mes commits compatibles avec ce qui a déjà été pushé avant de pouvoir les pusher.
$ git pull --rebase $ git push
Avec git pull --rebase
, les commits distants sont récupérés et appliqués dans mon historique des commits. S'il n'y a pas de conflit, j'obtiens un nouvel état dans lequel je peux pusher mes commits comme s'ils avaient été faits après les commits du dépôt distant.
Avec git push
, j'envoie mes commits rebasés sur le dépôt distant.
Cas d'utilisation : J'ai fait des modifications localement, mais pas de commits non pushés parce que je suis au milieu de quelque chose. Cependant, je veux faire un pull pour récupérer les mises à jour faites sur le dépôt distant.
$ git stash $ git pull $ git stash pop
Avec git stash
, le dépôt est ramené dans l'état du dernier commit et toutes mes modifications sont stockées sous forme de patch.
Avec git pull
, les derniers commits publiés sur le serveur sont récupérés et appliqués en local.
Avec git stash pop
, mon patch est appliqué au dépôt local mis à jour.
Cas d'utilisation : J'ai du code non-commité et des commits non pushés. Je veux envoyer mes commits mais pas mon code en travaux.
$ git stash $ git pull --rebase $ git push $ git stash pop
Dans les cas où une de ces opérations entraînerait malgré tout des conflits, il faut les résoudre à la main.
Les conflits sont représentés dans les codes sources par des
<<<<<<< version bla Code de la version bla ====== code de la version bli >>>>>>> version bli
À corriger à la main, à la suite de quoi,
pull --rebase
, continuez l'opération de rebase
:$ git rebase --continue
stash pop
, continuez votre édition tranquillement :)