Update hacking with correct git push command.