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
Logger.error(`Could not find pull request #${pullRequestNumber}`,CopilotRemoteAgentManager.ID);
307
302
return;
@@ -1332,7 +1327,7 @@ export class CopilotRemoteAgentManager extends Disposable {
1332
1327
diffEntries.push({
1333
1328
originalUri: changeModel.parentFilePath,
1334
1329
modifiedUri: changeModel.filePath,
1335
-
goToFileUri: changeModel.filePath
1330
+
goToFileUri: changeModel.filePath,
1336
1331
});
1337
1332
}
1338
1333
@@ -1360,7 +1355,7 @@ export class CopilotRemoteAgentManager extends Disposable {
1360
1355
}
1361
1356
}catch(error){
1362
1357
// Continue to next repository if this one doesn't have the PR
1363
-
Logger.debug(`PR ${number} not found in ${githubRepo.remote.owner}/${githubRepo.remote.repositoryName}: ${error}`,CopilotRemoteAgentManager.ID);
1358
+
Logger.debug(`PR ${number} not found in ${githubRepo.remote.owner}/${githubRepo.remote.repositoryName} (remote=${githubRepo.remote.url}): ${error}`,CopilotRemoteAgentManager.ID);
0 commit comments