Tag: git

All the articles with the tag "git".

• Git TIP - Why you should not keep a local master branch ?

  Published:Jul 25, 2019 |  at 12:00 AM

  What is a local branch, what is a remote branch ? Why keeping up to date local branch is a waste of time ?

• 🇫🇷 Git - Pourquoi ne pas garder une branche master local à jour?

  Published:Jul 25, 2019 |  at 12:00 AM

  Qu'est-ce qu'une branche locale, qu'est-ce qu'une branche éloignée ? Pourquoi la mise à jour de la branche locale est-elle une perte de temps ?

• 🇫🇷 Un Kata pour jouer avec Git

  Published:Jul 21, 2019 |  at 12:00 AM

  En tant que professeur d'informatique à temps partiel, je donne souvent des ateliers pour apprendre à utiliser des outils.

• 🇫🇷 Github classroom - un outil à tester

  Published:Mar 25, 2017 |  at 12:00 AM

  J'ai récemment essayé Github Classroom avec mes étudiants de 4ème année de l'école Polytech Lyon. Je vous propose ici mes retours sur cet outil à destination des enseignants pour le suivi de TP.