git useful links and tips

git.md

How-to migrate git branch to another name

# resource_db_dev -> staging
# resource_db_prod -> main
# Please run following commands in your local env to update copies.

git branch -m resource_db_dev staging
git branch -m resource_db_prod main
git fetch origin
git branch -u origin/main main
git branch -u origin/staging staging
git remote set-head origin -a