Skip to content

Fix stale PR status by adding periodic refresh and manual Sync (#316)#319

Open
Sujini-kudupudi wants to merge 9 commits into
Coder-s-OG-s:mainfrom
Sujini-kudupudi:fix/issue-316-stale-prs
Open

Fix stale PR status by adding periodic refresh and manual Sync (#316)#319
Sujini-kudupudi wants to merge 9 commits into
Coder-s-OG-s:mainfrom
Sujini-kudupudi:fix/issue-316-stale-prs

Conversation

@Sujini-kudupudi

Copy link
Copy Markdown
Contributor

Summary

This PR addresses the issue where Pull Requests on external repositories (without the GitHub App installed) were permanently stuck in the "Open" state because they didn't generate webhooks. It fixes this by adding a periodic refresh mechanism using the GitHub Search API and adding a manual Sync button to the My PRs page.

Type of Change

  • Bug fix
  • New feature
  • UI / UX improvement
  • Refactor
  • Documentation
  • Other

Related Issue

Closes #316

What was changed?

  • Extracted the fetchAndBackfillPRs logic out of the initial one-time loader in MyPRsPage into the shared github-sync server actions.
  • Added the <SyncButton /> component to the My PRs page, allowing users to manually refresh their PR statuses.
  • Integrated PR syncing into the standard dashboard sync flow and ensured proper cache invalidation for instant UI updates.

Screenshots

(N/A - Minor UI addition of the existing Sync button to the My PRs page)

Checklist

  • My code follows the project structure and conventions
  • I tested this locally (npm run dev)
  • No hardcoded secrets or credentials
  • I have updated documentation if needed

@vercel

vercel Bot commented Jun 17, 2026

Copy link
Copy Markdown
Contributor

@Sujini-kudupudi is attempting to deploy a commit to the codersogs-3057's projects Team on Vercel.

A member of the Team first needs to authorize it.

@Ayush-Patel-56

Copy link
Copy Markdown
Collaborator

@Sujini-kudupudi can you please fix the failing tests

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

My PRs page shows stale Open status for PRs on repos without the GitHub App installed

2 participants