Ce cours consiste en une seule séance d'introduction à la gestion de versions distribuée avec Git. Le public visé est celui des usagers d'ordinateurs qui ne possèdent pas de formation particulière à l'informatique. Le cours cherche à expliquer les notions de base de gestion de versions et de Git, ainsi que de donner quelques bonnes pratiques d'usage d'un système de gestion de versions.

Intuitivement, le but de ce cours serait d'aider de tels utilsateurs de Git.

Les matériaux de ce cours sont distribués sous la licence Creative Commons Paternité .

Les diapositives (en anglais) de cet exposé sont ici.

Vous avez déjà développé un projet de code et vous vous êtes retrouvés à faire des dossiers différents pour chaque version différente ? Vous en avez marre de passer les fichiers source d'articles par courriel ? Vous avez testé Git, mais vous l'avez trouvé un peu opaque, et puis la sauce tomate n'était pas bonne ?

Ce cours est pour vous !

Cet exposé doit être accompagné par une session shell interactive. Les commandes suivantes doivent être montrées : git init, git add, git commit, git log, git diff, git branch, git checkout, git merge, git push, git pull.

Parmi les buts de ce cours est de familiariser le public à l'interface en ligne de commande de Git. Cet interface est complète, bien que minimaliste graphiquement. Les interfaces graphiques et les porcelaines pour Git sont ainsi à éviter avant la fin de l'exposé.