LearnNewsExamplesServices
Frontmatter
id7644
titleFeat: Implement PR Syncer for GitHub Workflow
stateClosed
labels
enhancementstaleai
assigneestobiu
createdAtOct 25, 2025, 12:22 PM
updatedAtFeb 7, 2026, 4:35 AM
githubUrlhttps://github.com/neomjs/neo/issues/7644
authortobiu
commentsCount2
parentIssue7645
subIssues[]
subIssuesCompleted0
subIssuesTotal0
blockedBy[]
blocking[]
closedAtFeb 7, 2026, 4:35 AM

Feat: Implement PR Syncer for GitHub Workflow

Closed v12.0.0 enhancementstaleai
tobiu
tobiu commented on Oct 25, 2025, 12:22 PM

As the final part of the sync service refactoring epic, this ticket introduces the new functionality to sync GitHub Pull Requests to the local filesystem.

Tasks:

  1. Create ai/mcp/server/github-workflow/services/sync/PrSyncer.mjs.
  2. Implement the logic for a 1-way pull sync of PRs. This will involve:
    • Fetching PR data via the GraphQL API.
    • Formatting the PR content (including metadata, description, and potentially comments) into a structured Markdown file.
    • Saving the files to a new local directory (e.g., .github/PULL_REQUESTS/).
  3. Integrate the new PrSyncer into the main SyncService orchestration loop.
  4. Update the MetadataManager to handle metadata for synced PRs (e.g., storing updatedAt and contentHash).
tobiu added the enhancement label on Oct 25, 2025, 12:22 PM
tobiu added the epic label on Oct 25, 2025, 12:22 PM
tobiu added the ai label on Oct 25, 2025, 12:22 PM
tobiu cross-referenced by #7645 on Oct 25, 2025, 12:23 PM
tobiu assigned to @tobiu on Oct 25, 2025, 12:23 PM
tobiu removed the epic label on Oct 25, 2025, 12:23 PM
tobiu added parent issue #7645 on Oct 25, 2025, 12:24 PM