pushboard

Vercel-like Git push deployment for Raspberry Pi and edge devices

pushboard is a lightweight deployment platform that automatically builds, delivers, and runs your code on edge devices (such as Raspberry Pi) when you push to GitHub.

It brings modern Git-based deployment workflows to robotics, IoT, and edge AI environments.

---

Why pushboard?

Web developers have Vercel and Netlify. Robots and edge devices do not.

Edge devices are hard to manage because:

• They are usually behind NAT
• IP addresses change
• Remote access is limited
• Power failures happen
• Deployments can brick devices

pushboard solves this by combining:

• GitHub Actions
• AWS storage
• MQTT-based device communication

---

Architecture

Developer
   |
git push
   |
GitHub Actions
   |
Build & Package
   |
Upload to AWS Storage (e.g. S3)
   |
Control Plane
   |
MQTT
   |
Edge Device (Raspberry Pi)
   |
Download → Verify → Run

Components

• GitHub Actions Builds and packages the application.

• AWS Storage Stores deployment artifacts.

• Control Plane (Server or Lambda) Tracks versions and sends deployment commands.

• MQTT Broker Delivers commands and status messages.

• pushboard Agent Runs on the device, downloads artifacts, verifies them, and runs the app.

---

How it works

1. You push code to GitHub
2. GitHub Actions builds and packages the app
3. The artifact is uploaded to AWS storage
4. The control plane notifies the device via MQTT
5. The device downloads and verifies the artifact
6. The new version is installed and executed
7. Status is reported back

---

Design goals

• No Docker required
• Works behind NAT
• Safe, atomic updates
• Rollback support
• Low-resource friendly
• Simple developer experience

---

Current status

⚠ This project is in early development.

Planned for v0.1:

• Single repository
• Single device (Raspberry Pi)
• Python-based agent
• GitHub Actions → AWS → MQTT → Device flow

Planned for v0.2:

• Device status reporting
• Version tracking
• Manual rollback

---

License

Open-source (TBD)