Add commands to change different settings of the push. We needed to restart the push quite often, because we made some mistakes in the setup.