asepharyana eb97e020dd ci: add python syntax-check gate before Nix deploy

2026-08-03 13:37:29 +07:00

.github/workflows

ci: add python syntax-check gate before Nix deploy

2026-08-03 13:37:29 +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: PR-Agent GitHub App server — sanitized source + Nix flake + CI deploy

2026-07-31 09:35:03 +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

fix(nix): restrict flake to x86_64-linux (nixpkgs 26.11 dropped darwin)

2026-08-01 18:03:43 +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

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

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

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

run_server.py

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

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

setup_all.py

chore: use domain for webhook URLs

2026-08-02 16:21:47 +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

S

Description

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

100 KiB

Languages

Python 95.3%

Nix 4.7%