Partage
  • Partager sur Facebook
  • Partager sur Twitter

Git push

comment gerer les conflicts lors d'un push?

    17 juillet 2018 à 3:29:16

    je trouve que le cour est pas bien concu ou peut etre tout simplement pas a jour.

    1) pour creer un remote on fait git remote add origin [http]. Je pense que vous avez oubliez add dans votre cours.

    2) lorsqu'on fait un push d'un code local vers github, il peut exister des conflicts et savoir comment les resourdre devient un exercies tres interessant. j'ai utulise -f pour forcer le push et je ne sais pas trop a quoi servent les autres parametres.

    Merci pour vos reactions

    • Partager sur Facebook
    • Partager sur Twitter
      17 juillet 2018 à 9:24:18

      Bonjour,

      1) En effet, l'ajout de remote se fait avec git remote add.

      2) Utiliser git push -f n'est pas une bonne idée, au prochain pull tu auras toujours les mêmes conflits et de peu que tu travailles avec une ou plusieurs autres personnes, tu n'auras jamais le même code qu'eux.

      Pour régler un conflit, il faut aller dans les fichiers indiqués par la console et trouver les bouts de codes entourés de ======= ou HEAD.

      Une fois trouvé, tu dois supprimer les bouts de code qui ne t'intéressent pas ou les  ===== et le HEAD.

      Après cela, tu peux simplement refaire un git add . et un git commit de tes modifications pour enfin faire un git push.

      • Partager sur Facebook
      • Partager sur Twitter
      "Ils ne savaient pas que c'était impossible, alors ils l'ont fait" Mark Twain

      Git push

      × Après avoir cliqué sur "Répondre" vous serez invité à vous connecter pour que votre message soit publié.
      × Attention, ce sujet est très ancien. Le déterrer n'est pas forcément approprié. Nous te conseillons de créer un nouveau sujet pour poser ta question.
      • Editeur
      • Markdown