Skip to content

Add support for making PR comments #18

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
JRoy wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Add support for making PR comments #18

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
c50312c
Add support for making PR comments
JRoy Jul 4, 2025
276eac4
fix checks
JRoy Jul 4, 2025
bd35b20
Improve logic separation + handle cross-hunk
JRoy Jul 5, 2025
8742f5c
Add comment suggestions
JRoy Jul 6, 2025
93a39c5
Merge remote-tracking branch 'upstream/master' into feat/pr-comment
JRoy Jul 12, 2025
d3b7cd0
make github requests a common method
JRoy Jul 12, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
make github requests a common method
  • Loading branch information
@JRoy
JRoy committed Jul 12, 2025
commit d3b7cd052a757a6f403df6a27e5c1c31abf97ebf
Loading
Loading