git checkout main
git merge dev
git push
git checkout dev