Git: fix push command.