/**
 * 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