asepharyana 690f96aacb feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge ...

- health-check.py: model health watchdog (silent when healthy, alert on 2+
  consecutive failures) — catches stale-key/model-breakage like 2026-08-04
- sync-key.py: systemd ExecStartPre syncs 9router key from BWS to disk,
  prevents silent 401s after key rotation
- run_server.py: CONFIG__ANALYTICS_FOLDER + /api/metrics (Prometheus) +
  /api/analytics (JSON) + /api/v1/notify_review (Discord webhook)
- trivial_merge.py: trivial-PR fast-path (docs/deps/tiny diffs) approve+merge
- auto_merge_bot.py: Discord notifications on merge, trivial integration
- flake.nix: ship pr-agent-sync-key + pr-agent-health-check binaries

2026-08-04 11:39:29 +07:00

.github/workflows

ci: use free GHA Nix cache (disable FlakeHub cache, not subscribed)

2026-08-03 16:44:18 +07:00

.gitignore

feat: PR-Agent GitHub App server — sanitized source + Nix flake + CI deploy

2026-07-31 09:35:03 +07:00

auto_merge_bot.py

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

callback_server.py

feat: PR-Agent GitHub App server — sanitized source + Nix flake + CI deploy

2026-07-31 09:35:03 +07:00

flake.lock

chore: port 3000 to 4002, use domain instead of IP

2026-08-02 16:15:43 +07:00

flake.nix

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

generate_manifest_domain.py

feat: PR-Agent GitHub App server — sanitized source + Nix flake + CI deploy

2026-07-31 09:35:03 +07:00

generate_manifest.py

chore: use domain for webhook URLs

2026-08-02 16:21:47 +07:00

health-check.py

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

manifest_current.json

chore: port 3000 to 4002, use domain instead of IP

2026-08-02 16:15:43 +07:00

manifest_final.json

feat: PR-Agent GitHub App server — sanitized source + Nix flake + CI deploy

2026-07-31 09:35:03 +07:00

manifest.json

chore: webhook URLs to domain, manifest.json sync

2026-08-02 16:22:32 +07:00

result

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

run_server.py

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

setup_all.py

fix: unterminated triple-quote in setup_all.py secrets template

2026-08-03 13:39:36 +07:00

setup_app.py

chore: webhook URLs to domain, manifest.json sync

2026-08-02 16:22:32 +07:00

start_server.py

chore: port 3000 to 4002, use domain instead of IP

2026-08-02 16:15:43 +07:00

sync-key.py

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

trivial_merge.py

feat: add health watchdog, key auto-sync, analytics, Discord notifications, trivial-PR merge

2026-08-04 11:39:29 +07:00

S

Description

PR-Agent GitHub App webhook server (auto-review + auto-merge)

100 KiB

Languages

Python 95.3%

Nix 4.7%