How to merge a remote branch?

Question

git

In a remote repository, another developer created a branch and uploaded changes there.
I need to upload these changes to the master branch on prod.
To do this, somehow you need to merge a new branch in master.
I understand how it works locally, but not remotely.
Who will help?

Answer 1

Reduce the task to the previous one

git checkout master
git pull
git merge origin/other-branch
git push

Answer 2

Need parameter -force
git checkout master
git pull
git merge origin/other-branch
git push -force origin master