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
I use the Gemini web chat interface quite extensively. One thing that is tedious is giving it all the context...
Finding changes When you're looking for a specific change in Git, there are multiple axes you can choose: