Git push: renaming branches

Question

Please use the same git push command for renaming branches, but you would add one more argument: the name of the new branch. e.g

git push  <REMOTENAME> <LOCALBRANCHNAME>:<REMOTEBRANCHNAME>