History

[codex] Reduce Git status polling churn (#3037)

Julius Marminge committed 5 months agov0.0.28-nightly.20260611.526

Commit 0baf1981 parent ae7e88b6 files · +227 −3Browse files

Showing the changes to apps/server/src/git (1 of 6 files). Show all

Unified · Split

apps/server/src/git/GitManager.ts+1−1
@@ -747,7 +747,7 @@ export const makeGitManager = Effect.fn("makeGitManager")(function* () { · 746 unmodified lines
747747 );
748748 const readRemoteStatus = Effect.fn("readRemoteStatus")(function* (cwd: string) {
749749 const details = yield* gitCore
750− .statusDetails(cwd)
750+ .statusDetailsRemote(cwd)
751751 .pipe(Effect.catchIf(isNotGitRepositoryError, () => Effect.succeed(null)));
752752 if (details === null || !details.isRepo) {
753753 return null;

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t