git useful command

Record useful git command in this page.

1. search commits contains a log message

    git log --all --grep "something"
   

2. rename tag

    git tag -m new old
    git tag -d old
    git push origin :refs/tags/old
    git push --tags
   

3. rename branch

    git branch -m old new