3 Commits

Include renames

Author	SHA1	Message	Date
Tom RochetteandBohdan Triapitsyn	7b1b3167a4	feat: server-side GitHub search for issue/PR pickers (#1352) ... Replace local-only filtering in GitHub issue/PR picker dialogs with server-side GitHub Search API queries. Search text is sent as a query parameter to the server, which uses the GitHub Search API (issuesAndPullRequests endpoint) with repo: qualifiers including fork network support. Results are debounced at 350ms to respect API rate limits. - Add query parameter to GitHubAPI issuesList/prsList interface - Server routes use Search API when query is present, standard list endpoint when absent - Fork networks handled via repo:owner/repo OR repo:owner/upstream - PR search fetches full PR details after Search API for head/base/draft fields - Remove local filter memos from all three picker dialogs - Add debounced search effect with abort controller cleanup - Update VS Code backend and webview API for parity - Update search placeholders in all locales Closes #1350 Co-authored-by: Bohdan Triapitsyn <artmore@protonmail.com>	2026-06-08 15:37:42 +03:00
Bohdan Triapitsyn	f370ea5d8c	feat: add GitHub PR list and context APIs ... Add PRs list API with pagination Provide PR context API with optional diff Integrate PR picker in session UI	2026-01-24 01:57:35 +02:00
Bohdan Triapitsyn	57f00be773	feat: add GitHub issue picker and API endpoints ... Add GitHubIssuePickerDialog UI for selecting issues Enable new session from GitHub issue from session sidebar Implement GitHub issues/list/get/comments APIs across desktop, web, and VS Code	2026-01-24 00:30:34 +02:00