Skip to content

Add GitHub API functionality to assign PRs back to creators when violations are found#58

Merged
slavingia merged 1 commit intomainfrom
devin/1755701209-github-pr-assignment
Aug 20, 2025
Merged

Add GitHub API functionality to assign PRs back to creators when violations are found#58
slavingia merged 1 commit intomainfrom
devin/1755701209-github-pr-assignment

Commits

Commits on Aug 20, 2025