gist.github.com
# Rename branch locally $ git branch -m ‹old_branch› ‹new_branch› # Delete the old branch $ git push origin :‹old_branch›
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...
Pour supprimer des commits fautifs qui ont été placés dans un dépôt Git distant (par un git push), dont on...
Git SCM Quick start, overview & downloads Git±Immersion a guided tour thru Git fundamentals by EdgeCase
Best results in other decks
stackoverflow.com
Must use Git Bash. To overwrite local master with remote: git checkout master git fetch --all git reset --hard origin/master...
When things go wrong, for example, caused by a bad commit, we need to revert back to an earlier known...