publish.sh: Remove --dry-run from git push line