Comment supprimer un tag dans Git :
git tag -d myTag
Comment supprimer un tag remote dans Git (i.e. qui a été pushé sur un repository remote. Dans la plupart des cas il n'y en a qu'un seul nommé "origin") :
git push origin :refs/tags/myTag
Pour mémoire, pour pusher un tag sur le remote :
git push origin myTag
Ouf !
Le livre Git (en français comme en anglais) est toujours aussi chouette. Aujourd'hui c'est une bonne explication sur les tags. Pour plus d'info : git help tag.
(via http://sebsauvage.net/links/?o0AQ0w)
Depuis que je suis obligé de jouer avec les repository "remote" avec Git (puisqu'on je suis sur un projet qui n'a pas encore de repository remote centralisé à la Github, donc on s'échange des des repository "bare" par email), je maîtrise bien mieux Git ! Et je comprends beaucoup mieux ce que signifie réellement un pull/push, même un commit et les 3 états possibles des fichiers locaux. C'est incroyable de souplesse ce système.
Un bon use case d'amélioration d'un composant PHP existant et de la manière de pusher la modification (et de l'utiliser). Si ça fonctionne avec PHP/Composer, Git et Github, cela reste applicable à d'autres technologies.
Du coup j'ai traduit et agrémenté l'article.
Toujours utile. Mais risqué lorsque le commit a déjà été pushé et que l'on travaille à plusieurs. Quand 40 personnes commit quotidiennement, il faut forcer son push à 2h du mat' pour éviter la panique :D
En parlant de Pro Git : ce lien permet de télécharger la version française en PDF, ePub, et autre (version de mars 2012, ça a peut-être changé depuis).
La version "officielle" ne propose que la version anglaise : http://git-scm.com/book
Quand EGit d'Eclipse fait défaut, heureusement qu'il y a ce genre de ressources (en anglais c'est ici : http://git-scm.com/book/en/Git-Branching-Basic-Branching-and-Merging) pour éviter de faire des bêtises !