diff --git a/HowtoGit.md b/HowtoGit.md index bd9ef5c1..600031e6 100644 --- a/HowtoGit.md +++ b/HowtoGit.md @@ -765,3 +765,11 @@ exemple) et il faut alors migrer les dépots. Un moyen de faire : $ for branch in `git branch -a | grep remotes | grep -v HEAD | grep -v master`; do rbranch=$(echo $branch | tr '/' ' ' | awk '{print $3}') ; git checkout -b $rbranch $branch ; done $ git remote add gitlab gitlab@gitlab.example.com:group/repo.git && git push gitlab --all && git remote remove origin && git remote rename gitlab origin && git push --set-upstream origin master ~~~ + +# Avoir des stats basiques + +Il existe la commande shortlog pour avoir quelques stats sur un dépôt git + +~~~ +git shortlog -sne +~~~