git checkout main; git fetch dev; git merge dev/dev; git push