forks.md

Fork

Ajouter une remote

$ git remote add origin git@github.com:<user>/<proj>.git
$ git remote -v

$ git push origin master

Récupérer les changements

$ git checkout master     # Aller sur la branche master
$ git status              # Est-ce propre? (Bien sûr!)
$ git pull origin master  # Récupérer le travail
                          # de l'équipe

Sync Branch

Terminologie de l'application GitHub

Pull/Merge Requests

How to submit a Pull or Merge Request (PR or MR)