2 Commits

Author	SHA1	Message	Date
can1357	b503f7d86b	feat(robomp): added incoming PR review feature with classify and submit ... - Added `review_pr` task that checks out PR head in a detached worktree, classifies rank/type/area, and posts a batched GitHub review as `event=COMMENT`. - Added four new host tools: `fetch_pr`, `classify_pr`, `pr_review_comment`, and `submit_pr_review`; review tools self-gate on `review_mode`, push/open-PR tools refuse when `review_mode` is set. - Added sqlite staging table `pr_review_comments` with `stage_review_comment`, `list_staged_review_comments`, and `clear_staged_review_comments` DAOs. - Routed `pull_request.opened/reopened/ready_for_review` to `review_pr` and extended `pull_request.closed` cleanup to any tracked PR regardless of author.	2026-06-02 08:23:09 +02:00
can1357	2c773a12a4	Add 'python/robomp/' from commit '553fd1cfcf59e4c501c54fc81bc083ffd2ca007b' ... git-subtree-dir: python/robomp git-subtree-mainline: 4f6e70f779 git-subtree-split: 553fd1cfcf	2026-05-16 21:00:42 +02:00