GitHub PR notification system — get push notifications on your phone when PRs you care about are updated.
| PRs | History |
|---|---|
![]() |
![]() |
| Subscriptions | Settings |
|---|---|
![]() |
![]() |
- Real-time push notifications for PR events (reviews, comments, status checks, merges)
- Subscribe to specific repositories
- CI retry commands from your phone (with self-hosted runner support)
- Lightweight backend on Cloudflare Workers (free tier friendly)
GitHub ──webhook──▶ Server (CF Worker + D1) ──FCM──▶ Android App
▲
Runner (CF Worker or native) ── runs CI retry commands
| Component | Path | Stack |
|---|---|---|
| Android app | android/ |
Kotlin, Jetpack Compose |
| Push server | server/ |
Cloudflare Workers, D1, TypeScript |
| CI runner (worker) | worker-runner/ |
Cloudflare Workers, TypeScript |
Grab the latest APK from Releases.
To build from source, see android/README.md.
The runner enables CI retry commands from the app. It points to the official server by default.
cd worker-runner
npm install
npx wrangler secret put GITHUB_TOKEN
npx wrangler secret put RUNNER_TOKEN
npx wrangler deployIf you want to run your own server instance, see server/README.md for deployment instructions.
# Server local dev
cd server && npm run dev
# Worker runner local dev
cd worker-runner && npm run dev
# Server tests
cd server && npm testMIT



