Fix publish script re-enabling the push command

The command was mistakenly disabled while working on e51dce6
Merge branch 'tweak-publish-script'

* tweak-publish-script:
  Fix publish script re-enabling the push command