Add WUMING_SUMMARY_COMMENT #43
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
When WUMING_SUMMARY_COMMENT=true, post a plain PR comment after the review containing a per-agent severity count table. Posts even when there are zero new comments. Skipped when the diff-too-large early exit fires.
Add _build_summary_comment(comments, agent_names) -> str to main.py, producing a markdown table of per-agent severity counts. After the post_review block in _main(), if config.summary_comment, call forgejo.post_comment(summary_body). The summary is skipped when _fetch_file_diffs() returns None (too-large diff).