asepharyana 407819b647 fix: parse PR-Agent analytics record-wrapped JSON format ...

Real PR-Agent analytics logs wrap fields under 'record': {...}. The parser
now unwraps that before extracting command/pr_url/message/level, so
/api/analytics and /api/metrics show real data (verified with actual format
from production logs).

2026-08-04 11:43:13 +07:00

.github/workflows

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

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

.gitignore

chore: gitignore nix result symlink

2026-08-04 11:39:34 +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

run_server.py

fix: parse PR-Agent analytics record-wrapped JSON format

2026-08-04 11:43:13 +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%