Skip to content

Commit a8ef4d9

Browse files
committed
larger page
1 parent effe1db commit a8ef4d9

File tree

3 files changed

+9
-3
lines changed

3 files changed

+9
-3
lines changed

src/github/copilotApi.ts

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -196,7 +196,7 @@ export class CopilotApi {
196196
const response = await this.makeApiCall(
197197
pullRequestId
198198
? `/agents/sessions/resource/pull/${pullRequestId}`
199-
: `/agents/sessions`,
199+
: `/agents/sessions?page_size=100`,
200200
{
201201
headers: {
202202
Authorization: `Bearer ${this.token}`,
@@ -336,6 +336,7 @@ export interface SessionInfo {
336336
export interface SessionPullRequestInfo {
337337
number: number;
338338
title: string;
339+
state: 'OPEN' | 'CLOSED' | 'MERGED';
339340
additions: number;
340341
deletions: number;
341342
headRepository: {

src/github/copilotRemoteAgent.ts

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -898,7 +898,7 @@ export class CopilotRemoteAgentManager extends Disposable {
898898
const groupedSessions = Array.from(sessionMap.values()).sort((a, b) => {
899899
const aFirstSession = a[0];
900900
const bFirstSession = b[0];
901-
return new Date(aFirstSession.created_at).getTime() - new Date(bFirstSession.created_at).getTime();
901+
return new Date(bFirstSession.created_at).getTime() - new Date(aFirstSession.created_at).getTime();
902902
});
903903

904904
const filteredPRs = (await Promise.all(groupedSessions.map(async sessions => {
@@ -919,6 +919,10 @@ export class CopilotRemoteAgentManager extends Disposable {
919919
return false;
920920
}
921921

922+
if (pr.pullRequest.state !== 'OPEN') {
923+
return false;
924+
}
925+
922926
// Filter out PRs that are not in the current repositories
923927
const prRepo = currentRepositories.find(repo =>
924928
repo.remote.owner === pr.pullRequest.headRepository.owner.login &&
@@ -939,7 +943,7 @@ export class CopilotRemoteAgentManager extends Disposable {
939943
id: id,
940944
label: pullRequest.title || `Session ${pullRequest.number}`,
941945
status: status,
942-
description: `${pullRequest.headRepository.owner.login}/${pullRequest.headRepository.name} #${pullRequest.number}`,
946+
description: `#${pullRequest.number}`,
943947
statistics: pullRequest.additions !== undefined && pullRequest.deletions !== undefined && (pullRequest.additions > 0 || pullRequest.deletions > 0) ? {
944948
insertions: pullRequest.additions,
945949
deletions: pullRequest.deletions

src/github/queries.gql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -383,6 +383,7 @@ query GetPullRequestGlobal($globalId: ID!) {
383383
... on PullRequest {
384384
number
385385
title
386+
state
386387
additions
387388
deletions
388389
headRepository {

0 commit comments

Comments
 (0)