I have pushed my local branch "develop" into the remote branch "develop".
Now, I want to merge contents of remote "develop" into remote "master" without going to github website.
I tried to checkout to the remote master by typing git checkout origin/master
, but displays "You are in 'detached HEAD' state."
What is the best way to do so?