git primer: Fix push command
The instructions leave one on the merge_results branch, not on main, so
pushing the remote repo won't work. You have to specifically add the
branch name on the push for that to work.
Noticed by: sjg
Sponsored by: Netflix