| /** | |
| * How long one git child may run before the fetch gives up on it and keeps | |
| * the last good diff (the built-in panel's own timeout). | |
| */ | |
| export const GIT_TIMEOUT_MS = 5000 | |
| /** | |
| * How long one git child may run before the fetch gives up on it and keeps | |
| * the last good diff (the built-in panel's own timeout). | |
| */ | |
| export const GIT_TIMEOUT_MS = 5000 | |