536
if (github.repo !== undefined) { result.repo = github.repo; }
537
if (github.pullRequestUrl !== undefined) { result.pullRequestUrl = github.pullRequestUrl; }
539
>
}
540
541
>
function serializeSession(session: IAgentSessionMetadata): ISerializedSession {
sessionServerTools.ts
542
>
const git = serializeGitState(session);
543
>
const github = serializeGitHubState(session);
544
>
const status = describeSessionStatus(session);
545
>
return {
546
>
session: session.session.toString(),
547
>
...(session.summary !== undefined ? { title: session.summary } : {}),
548
>
...(status !== undefined ? { status } : {}),
549
>
...(session.activity !== undefined ? { activity: session.activity } : {}),
550
>
...(session.workingDirectory !== undefined ? { workingDirectory: session.workingDirectory.toString() } : {}),
551
>
...(session.project !== undefined ? { project: session.project.displayName } : {}),
552
>
...(session.isRead === false ? { unread: true } : {}),
553
>
...(session.startTime > 0 ? { createdAt: new Date(session.startTime).toISOString() } : {}),
554
>
...(session.modifiedTime > 0 ? { modifiedAt: new Date(session.modifiedTime).toISOString() } : {}),
555
>
...(session.changes !== undefined ? { changes: session.changes } : {}),
556
>
...(session.changesets !== undefined ? {
557
changesets: session.changesets.map(changeset => ({
558
label: changeset.label,