Piqûre de rappel sur les tag (étiquettes) avec git.

Pour étiqueter après coup :
   git tag -a v1.2 -m 'version 1.2' 9fceb02
Pousser les étiquettes :
   git push origin --tags
(Permalink)