workbench.glass.main.js · part 328

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

File contents and all parts · All files

[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 ${g.slice(0,7)} instead of baseRefOid ${h.baseRefOid.slice(0,7)}

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

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

						${L}_base: object(expression: "${g}:${B}") {
							... on Blob { text isBinary }
						}
					

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

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

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

[PR Diff API] Total: ${T}ms for ${C.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"}

  ${b} ${_.name} (${_.conclusion||_.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

${B!==-1?P.slice(O,B):P.slice(O)}
  ... (truncated) ...
${E}

... (showing last ~${w} chars, full logs at ${S.fsPath}) ...

${E}

[GithubPRService] Error fetching job logs:

use strict

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

[NetworkAccessNotification] Already shown suggestion for composer ${t}

[NetworkAccessNotification] Showing network access suggestion for composer ${t}

[NetworkAccessNotification] Dismissed, cooldown active for ${ens/6e4} minutes

use strict

use strict

use strict

use strict

use strict

[EffortFirstModelPickerAssignmentService] Failed to assign effort-first model picker:

use strict

use strict

use strict

use strict

use strict

use strict

use strict

use strict

use strict

[backgroundComposer] bcId is undefined