Skip to content

fix(tracker): restore Gitea paging, claim verification, and symphony adapter#793

Closed
AlexMikhalev wants to merge 1 commit intomainfrom
fix/tracker-paging-claim-symphony
Closed

fix(tracker): restore Gitea paging, claim verification, and symphony adapter#793
AlexMikhalev wants to merge 1 commit intomainfrom
fix/tracker-paging-claim-symphony

Conversation

@AlexMikhalev
Copy link
Copy Markdown
Contributor

Summary

  • Add proper pagination for Gitea issue fetching (50 per page)
  • Add claim_issue() with idempotency, conflict detection, and verification
  • Add ClaimResult/ClaimStrategy types for structured claim outcomes
  • Add Default for GiteaConfig to ease construction at call sites
  • Add LinearTrackerAdapter in symphony for tracker API compatibility
  • Support gitea-robot CLI with REST API fallback for claims
  • Fix validation test latency threshold for CI stability

Extracted from #790 as part of the clean PR split.

Refs #791

…adapter

- Add proper pagination for Gitea issue fetching (50 per page)
- Add claim_issue() with idempotency, conflict detection, and verification
- Add ClaimResult/ClaimStrategy types for structured claim outcomes
- Add Default for GiteaConfig to ease construction at call sites
- Add LinearTrackerAdapter in symphony for tracker API compatibility
- Support gitea-robot CLI with REST API fallback for claims
- Update orchestrator GiteaConfig sites with ..Default::default()
- Fix validation test latency threshold for CI stability

Refs #791
@AlexMikhalev
Copy link
Copy Markdown
Contributor Author

Closing in favor of the listener refresh path through #794.

This PR still has some unique tracker and symphony delta versus current main, but that delta is fully contained in #794. Keeping both open preserves duplicate review and conflict paths for the same underlying change.

The safe next step is to refresh/rebuild the listener branch from current main and carry forward the tracker/symphony pieces there, rather than merging this stale subset branch independently.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant