Voici un mémo de mon expérience très rapide de github, qui n’est destiné à l’origine qu’à moi, mais que je partage pour ceux qui voudraient aller vite :

• Forker un repo : c’est à dire, faire « sa » propre branche d’un source pour pouvoir travailler dessus.
  Sur github : en haut à droite du « repo » principal, vous avec le menu « fork ». Cliquez dessus et c’est fini !
  Details »» ici ««
• Copier en local
  De l’étape précédente, vous aurez une adresse genre
  https://github.com/VOTRE-USERNAME/repo-qui-vous-plait
  Faites :
  git clone https://github.com/VOTRE-USERNAME/repo-qui-vous-plait
  et git fera un copier coller en local des sources github
• Ajouter le repo d’origine pour les futures synchronisations :
  Copier coller l’URL du repo d’origine qui est sur github :
  git remote add upstream https://github.com/repo-qui-vous-plait
• Assurez-vous que tout est ok :
  Avec ce code :
  git remote -v
  Vous devriez avoir :
  origin https://github.com/VOTRE-USERNAME/repo-qui-vous-plait.git (fetch)
origin https://github.com/VOTRE-USERNAME/repo-qui-vous-plait.git (push)
upstream https://github.com/POSSESSEUR-DU-REPO/repo-qui-vous-plait.git (fetch)
upstream https://github.com/POSSESSEUR-DU-REPO/repo-qui-vous-plait.git (push)

• Ensuite ces étapes en boucle :
  • Repo origine distant vers local :
    Ce qui a été fait par les autres sur le repo général (s’il y en a) vers local.
    git fetch upstream
  • Repo perso distant vers local :
    Ce qui a été fait par les autres sur votre repo (s’il y en a) vers local.
    git checkout master
    puis
    git merge upstream/master
    Details »» ici ««
  • Noter vos modifications en local :
    Préciser à git de chercher (1) toutes vos modifications, option « a » (2) le commentaire, option « m ».
    git commit -am "Mon commentaire"
  • Appliquer vos modifications à distance :
    git push
    Details pas de github, mais en français et très bien faits :
    »» ici ««