GIT en groupe

Utiliser l'outil de versionning GIT pour gérer son code à plusieurs

Retour
  • Choisir un chef de projet

    En groupe décider d'une personne qui aura pour tâche supplémentaire de gérer le github du groupe

  • Créer le dossier de travail

    Le chef de projet s'occupe de créer un dossier de travail avec une branche dev et master en local et sur GitHub. Voir Git solo

  • Inviter les collaborateurs

    Le chef de projet invite ses collaborateurs sur le repository GitHub nouvellement créé

  • Cloner le dossier

    Chaque collaborateur clone le repository en local à l'aide de la commande git clone

  • Créer sa branche personnelle

    Chacun crée sa branche personnelle sur la base de la master et l'envoie sur GitHub avec la commande git push

  • Développer

    Chacun développe sur sa branche en local ce qui lui a été assigné en faisant régulièrement des commits

  • Mettre à jour son projet

    Régulièrement et toujours au moins avant un push, faire un git pull de la master distante sur sa master locale puis un git merge de sa master vers sa dev afin de mettre à jour son travail par rapport aux autres

  • Régler les conflits

    S'il y a des conflits lors du merge, il faut les régler en local en donnant toujours la priorité au travail venant de la master

  • Envoyer son travail

    J'envoie mon travail sur ma branche personnelle à l'aide de la commande git push

  • Ouvrir une pull request

    Depuis GitHub, j'ouvre une pull request de ma branche vers la master ou la dev selon l'organisation du projet quand j'estime que mon code est intégrable

  • Validation de la pull request

    Le chef de projet choisit de valider ou non l'intégration de la pull request au travail de l'équipe depuis GitHub