Another reminder for myself:

git push origin master

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

iss