Uninstalling
How to remove /dev/push from your server.
Automated uninstall
sudo /opt/devpush/scripts/uninstall.sh
The script creates a backup, stops containers, removes Docker resources, and prompts before deleting data directories.
Manual uninstall
1. Stop and remove containers
cd /opt/devpush
sudo ./scripts/compose.sh down --volumes --remove-orphans
2. Remove Docker resources
sudo docker image prune -a --filter "label=com.devpush"
sudo docker volume rm devpush-db loki-data alloy-data 2>/dev/null
sudo docker network rm devpush_default devpush_internal 2>/dev/null
3. Remove systemd service
sudo systemctl disable --now devpush.service
sudo rm /etc/systemd/system/devpush.service
sudo systemctl daemon-reload
4. Remove files
sudo rm -rf /opt/devpush
sudo rm -rf /var/lib/devpush
Note: Backups in /var/backups/devpush are preserved. Remove them manually if needed.
5. Remove system user (optional)
sudo userdel devpush
Back up first
Database data is in the devpush-db Docker volume. Run scripts/backup.sh before uninstalling if you need the data.
Delete the GitHub App
After uninstalling, delete the GitHub App:
- Go to GitHub Settings › Developer settings › GitHub Apps
- Find your /dev/push app
- Click Edit → Delete GitHub App