Updating
How to update /dev/push to the latest version.
Automated update
sudo /opt/devpush/scripts/update.sh
This creates a backup, pulls the latest code, runs upgrade hooks, rebuilds containers, and restarts the service.
To update to a specific release or branch:
sudo /opt/devpush/scripts/update.sh --ref v1.2.0
Pre-releases (e.g., v1.0.0-rc.1) aren't installed by default. Use --ref to install them explicitly:
sudo /opt/devpush/scripts/update.sh --ref v1.0.0-rc.1
Manual update
If you need more control or installed manually:
cd /opt/devpush
sudo -u devpush git fetch origin
sudo -u devpush git checkout v1.2.0
sudo /opt/devpush/scripts/build-runners.sh
sudo systemctl restart devpush.service
Upgrade hooks
Version-specific migrations in scripts/upgrades/ run automatically during updates. Manual updates skip these—check the upgrade scripts for any required steps between versions.
Rollback
If an update fails, restore from the pre-update backup:
sudo /opt/devpush/scripts/restore.sh --archive /var/backups/devpush/devpush-backup-*.tar.gz