https://blog.csdn.net/qq_36150631/article/details/81038485
First
Pull from remote to get latest code
git pull origin master
Checkout dev branch
Edit file and commit
Switch to master branch and merge
Push to remove