lsm / neokai / 25179914914

push

github

Add Space GitHub PR ingestion (#1740)

* Add Space GitHub PR ingestion

Introduce Space-level watched repositories, secure PR webhook ingestion, shared event persistence/deduping, task resolution, activity surfacing, and polling through one Space GitHub pipeline.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

* Fix Space GitHub routing edge cases

Route PR activity through Space task surfaces, reuse the wired Space GitHub singleton, and harden webhook/polling behavior so reviewer activity reaches agents without duplicate pipelines.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

* Remove unused Space GitHub activity CTE

Keep GitHub PR activity surfaced through the task messages query while removing dead activity-query SQL found during review.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

* Address Space GitHub inline review comments

Harden webhook and polling dedupe, avoid non-PR issue comment ingestion, scope watched repo listings, and make polling cursor advancement page-safe.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

7710 of 10042 branches covered (76.78%)

Branch coverage included in aggregate %.

661 of 710 new or added lines in 7 files covered. (93.1%)

60300 of 84288 relevant lines covered (71.54%)

253.58 hits per line