GIT: Pushing a remote branch with a different local branch name

Usually, when you are pushing like git push origin master, your remote branch name and local branch is same i.e, master

But if you're having a different branch name locally for your remote branch 'master

$ git push origin localbranchName:remotebranchName

example: git push origin testlocal:master