Daily Shaarli

All links of one day in a single page.

October 26, 2019

GitGraph.js

Créer des représentations graphiques de dépôt git.

How do I rename a local Git branch? - Stack Overflow
  1. Rename your local branch
    git branch -m old-name new-name or simply git branch -m new-name for the current branch.
  2. Delete the old-name remote branch and push the new-name local branch
    git push origin old-name new-name
  3. Reset the upstream branch for the new-name local branch
    git push origin -u new-name