You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
[Feature]: Warn a workspace when someone else opens a PR for its linked issue #29064
When I start a workspace from an issue, Orca links them (linkedIssue). It tracks the PR for my own branch, but nothing tells me when someone else opens a PR for the same issue.
optionally pass it to agents in that workspace, so they stop and check before carrying on
GitHub lists these as cross-referenced PRs on the issue timeline, and GitLab has related merge requests on an issue, so it doesn't have to be GitHub only.
Alternatives or additional context
Today I check by hand with the GitHub search for the issue number before pushing. It's easy to forget, and it's too late once the work is done.
I built it in #29080, with screenshots of the row badge and the hover.
Activity