GIT tips

git_tips.md

Déplacer les N derniers commits vers une NOUVELLE branche (ne fonctionne pas avec une branche déjà créée)

git branch newbranch
git reset --hard HEAD~N
git checkout newbranch

Renommer un tag local/distant

git tag new_tag old_tag
git push --tags

git push origin :refs/tags/old_tag
git tag -d old_tag

Supprimer un tag local/distant

git tag -d tag_name
git push origin :refs/tags/tag_name

Annuler un commit

git reset --hard HEAD@{1}

Eventuellement faire un git log -g pour revenir a un commit particulier (cf. http://stackoverflow.com/a/21778/5727772).