jon.recoil.org / monopam
forked from anil.recoil.org/monopam
Monorepo management for opam overlays
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Remove parallelism limit for local subtree push operations

Local git subtree push operations don't need a parallelism limit since
they only write to the local filesystem. Network operations (fetch,
remote push) still have limits to avoid overwhelming remote servers.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Anil Madhavapeddy 8b89066a c0e3479e

+2 -1
+2 -1
lib/monopam.ml
··· 1326 1326 Log.app (fun m -> 1327 1327 m " Skipping %d already-synced packages" 1328 1328 (List.length to_skip)); 1329 + (* Local git subtree push - no parallelism limit needed *) 1329 1330 let pushed = 1330 - Eio.Fiber.List.map ~max_fibers:4 1331 + Eio.Fiber.List.map 1331 1332 (fun pkg -> 1332 1333 let repo_name = Package.repo_name pkg in 1333 1334 Log.info (fun m -> m "Push to checkout: %s" repo_name);