rename_branch_remote_and_update_in_local

Rename dev -> main

git branch -m dev main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a