pub const MAX_PUSH_PATHS: usize = 20_000;
Most changed paths one push may carry, summed over all inspected diffs.