Fix Git instructions

When pushing with multiple arguments, Git interprets the first as the remote name. In this case, we need to specify the remote before the list of branches.

These are just helper instructions, not an actual script, but it's better to be accurate.