Как уже упоминали люди в комментариях, вы, вероятно, не хотите этого делать ... Ответ от mipadi абсолютно верен, если вы знаете, что делаете.
Я бы сказал:
git checkout master
git pull # to update the state to the latest remote master state
git merge develop # to bring changes to local master from your develop branch
git push origin master # push current HEAD to remote master branch