Skip to content
This repository was archived by the owner on Feb 6, 2026. It is now read-only.

Add comment pull/push#134

Open
Kvadratni wants to merge 1 commit intomainfrom
add-comment-pull/push
Open

Add comment pull/push#134
Kvadratni wants to merge 1 commit intomainfrom
add-comment-pull/push

Conversation

@Kvadratni
Copy link
Collaborator

Changes

  • feat: Add bidirectional comment sync between local review and GitHub PRs

Users can now sync comments in both directions:
- Import comments from GitHub PR review comments into local review
- Push local comments to GitHub as a pending PR review

Backend changes:
- Add fetch_pr_comments() to retrieve PR review comments via GitHub API
- Add import_pr_comments() Tauri command to convert and store PR comments locally
- Export new types and functions from git module

Frontend changes:
- Add fetchPrComments() and importPrComments() service functions
- Update GitHubSyncModal to show both import and push actions
- Add PrReviewComment type definition

Imported comments are tagged with category "pr" and preserve original
author and timestamp information. The modal now presents two clear
actions: import comments from PR and push comments to PR.

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
Comment on lines +789 to +800
/// A review comment from GitHub.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct PrReviewComment {
pub id: u64,
pub path: String,
pub body: String,
pub line: Option<u32>,
pub start_line: Option<u32>,
pub side: String,
pub user: String,
pub created_at: String,
}
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

testing comment sync

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant