cd /news/developer-tools/show-hn-git-lazy-mount-mount-a-repo-… · home topics developer-tools article
[ARTICLE · art-40691] src=github.com ↗ pub= topic=developer-tools verified=true sentiment=· neutral

Show HN: Git-lazy-mount mount a repo without cloning it. Works with ordinary Git

A developer released git-lazy-mount, a tool that mounts a Git repository without cloning it, fetching files on demand. It aims to reduce startup time for AI coding sessions in microVMs by avoiding full clones of large repos. The tool includes sgrep to offload grepping to remote code search engines like SourceGraph.

read1 min views1 publishedJun 26, 2026

Hello!

This is an attempt to make google3 style repo clones work with Git. In a HN thread a few days ago the idea sparked for me.

It can be super useful for very large repos that need to be cloned for AI coding sessions that might only need a subset of files to accomplish something.

Similar to google3, files appear to be there and can be read and edited but they are only fetched when they are needed.

It works with normal Git commands so there is no need for a new CLI.

On huge catch is, running grep will force fetch all files that grep glob matches. AI coding sessions run the Grep tool quite often. To mitigate this, git-lazy-mount comes with sgrep that offloads grepping to a remote code search engine like SourceGraph.

With this, microVMs that run AI sessions can stay lean and start up much faster.

I am guessing this is probably faster than baking in the git repo in the image but I have not measured performance of it yet. It is definitely useful if the microVM is spun up with unknown repositories (something like Claude on web).

Curious to hear your thoughts and criticism

Thanks!

Comments URL: [https://news.ycombinator.com/item?id=48685386](https://news.ycombinator.com/item?id=48685386)

Points: 2

── more in #developer-tools 4 stories · sorted by recency
── more on @git-lazy-mount 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
Live at https://your-agent.zahid.host
Get free account → Pricing
from €0/mo · no card required
LIVE [news/show-hn-git-lazy-mou…] indexed:0 read:1min 2026-06-26 ·