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:

  1. Go to GitHub Settings › Developer settings › GitHub Apps
  2. Find your /dev/push app
  3. Click EditDelete GitHub App