GIT: push all branches to remote

Just to remember this solution, I write it down here:

Found in Push a new local branch to a remote Git repo and track it too