workbench.desktop.main.js · part 296

60 text occurrences from desktop/Cursor.app/Contents/Resources/app/out/vs/workbench/workbench.desktop.main.js, part 296. Every entry preserves the shipped literal and its saved verdict or selection reason.

File contents and all parts · All files

[GithubPRService] No GitHub access token available for fetching comments

[GithubPRService] PR not found for comments:

[GithubPRService] Error fetching PR comments:

[GithubPRService] Invalid PR URL for check contexts:

[GithubPRService] No GitHub access token available for fetching check contexts

[GithubPRService] PR not found for check contexts:

[GithubPRService] Error fetching PR check contexts:

[GithubPRService] No GitHub access token available for resolving thread

[GithubPRService] Error resolving review thread:

[GithubPRService] Invalid PR URL for adding comment:

[GithubPRService] No GitHub access token available for adding review comment

				query GetPRId($owner: String!, $repo: String!, $prNumber: Int!) {
					repository(owner: $owner, name: $repo) {
						pullRequest(number: $prNumber) {
							id
							headRefOid
						}
					}
				}
			

[GithubPRService] Could not get PR ID or head SHA for adding comment

[GithubPRService] No thread returned from add comment mutation

[GithubPRService] Error adding review comment:

[GithubPRService] No GitHub access token available for replying to thread

[GithubPRService] No comment returned from reply mutation

[GithubPRService] Could not find updated thread in response

[GithubPRService] Error replying to review thread:

[GithubPRService] Invalid PR URL for files:

[GithubPRService] No GitHub access token available for fetching PR files

				query GetPRShas($owner: String!, $repo: String!, $prNumber: Int!) {
					repository(owner: $owner, name: $repo) {
						pullRequest(number: $prNumber) {
							baseRefOid
							headRefOid
						}
					}
				}
			

PR #${a} not found

[PR Diff API] Using merge base ${f.slice(0,7)} instead of baseRefOid ${p.baseRefOid.slice(0,7)}

[PR Diff API] Fetch PR info + file list (${v.length} files): ${(performance.now()-l).toFixed(0)}ms (1 GraphQL + REST API)

[PR Diff API] Total: ${P}ms for 0 files (1 GraphQL query, no content fetch needed)

						${U}_base: object(expression: "${f}:${W}") {
							... on Blob { text isBinary }
						}
					

						${U}_head: object(expression: "${g}:${L.filename}") {
							... on Blob { text isBinary }
						}
					

				query GetFileContents($owner: String!, $repo: String!) {
					repository(owner: $owner, name: $repo) {
						${S.join(`
`)}
					}
				}
			

[PR Diff API] Fetch file contents (${S.length} blobs in 1 query): ${(performance.now()-b).toFixed(0)}ms

[PR Diff API] Total: ${A}ms for ${x.length} files (2 GraphQL + 1 REST API queries)

[GithubPRService] Error fetching PR files:

GitHub REST API

[GithubPRService] No GitHub access token available for fetching current user

[GithubPRService] Error fetching current user:

				query GetCommitAuthor($owner: String!, $repo: String!, $sha: GitObjectID!) {
					repository(owner: $owner, name: $repo) {
						object(oid: $sha) {
							... on Commit {
								author {
									user {
										login
										avatarUrl(size: 64)
									}
								}
							}
						}
					}
				}
			

[GithubPRService] Error fetching commit author avatar:

Job: ${o.name}

Status: ${o.conclusion||"unknown"}

  ${S} ${b.name} (${b.conclusion||b.status})

  No step information available

Note: Full logs not available (runner may have lost connection)

[GithubPRService] Error fetching job step info:

[GithubPRService] No GitHub access token available for merging PR

No GitHub access token available

[GithubPRService] No GitHub access token available for closing PR

No GitHub access token available

[GithubPRService] No GitHub access token available for enabling auto-merge

No GitHub access token available

[GithubPRService] No GitHub access token available for disabling auto-merge

No GitHub access token available

[GithubPRService] Could not parse job URL:

[GithubPRService] No GitHub access token available for fetching job logs

GitHub REST API

[GithubPRService] No workspace folder available for writing logs

${W!==-1?N.slice(B,W):N.slice(B)}
  ... (truncated) ...
${D}

... (showing last ~${I} chars, full logs at ${T.fsPath}) ...

${D}

[GithubPRService] Error fetching job logs:

use strict

[NetworkAccessNotification] In cooldown period, ${n} minutes remaining