MythEclipse/pr-agent-server
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
18 Commits 1 Branch 0 Tags
875ddfcca96751ea2851a4fc4701dd815f0f3005
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
asepharyana 875ddfcca9 fix: health-check BWS token read as non-root cron user 
Cron runs as user code (not root). /etc/bws-token is root:bws 640, so direct
read fails with Permission denied → watchdog exited 1 every run. Fix:
- wrapper uses sudo -n cat (code is in sudo group, NOPASSWD)
- health-check.py get_key() falls back to sudo -n cat too
Verified as code user: silent exit 0 when healthy.
2026-08-04 12:12:42 +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
fix: health-check BWS token read as non-root cron user
2026-08-04 12:12:42 +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%