Push GIT branch to upstream

Another reminder for myself:

git push origin master

pushes the local branch master into remote repository origin.
Cheers,

iss