Renommer une branche distante
# Rename branch locally
$ git branch -m ‹old_branch› ‹new_branch›
# Delete the old branch
$ git push origin :‹old_branch›
# Push the new branch, set local branch to track the new remote
$ git push --set-upstream origin ‹new_branch›
Créer une branche vierge avec Git
Pour créer une branche vierge mybranch, sans référence à un état préalable du dépôt -- par exemple, pour versionner documentation générée par RDoc, ou encore travailler sur les Ruby Koans:
$ git symbolic-ref HEAD refs/heads/mybranch
$ rm .git/index
$ git clean -fdx
$ <travailler sur les sources>
$ git add <nouveaux fichiers>
$ git commit -m 'Commit initial'
Référence
Supprimer des commits fautifs avec Git
Pour supprimer des commits fautifs qui ont été placés dans un dépôt Git distant (par un git push), dont on sait qu'ils n'ont pas encore été référencés par d'autres utilisateurs -- parce que l'on est omniscient, mais pas pour autant clairvoyant...
Revenir à l'état désiré
$ git reset --hard <commit hash>
Forcer cet état comme le dernier état du dépôt
$ git push --force origin master
Ce faisant, on diverge de la ligne des commits maladroits et leur ...
Learning Git
Quick starter
- Git SCM Quick start, overview & downloads
- Git±Immersion a guided tour thru Git fundamentals by EdgeCase
Learning more
- Git Documentation Overview of available learning resources maintained by Scott Chacon
- GitHub:help Common beginner, intermediate and advanced Git use-cases by GitHub
- Git Community Book Learning Git: basic, intermediate and adv...