Skip to content

Rejigger git repo support#113

Merged
dzbarsky merged 1 commit into
mainfrom
zbarsjy/git-repos
May 2, 2026
Merged

Rejigger git repo support#113
dzbarsky merged 1 commit into
mainfrom
zbarsjy/git-repos

Conversation

@dzbarsky
Copy link
Copy Markdown
Member

@dzbarsky dzbarsky commented May 1, 2026

The existing way git crates are handles is a bit hacky - we do a deduped git clone for the external repo and then a per-crate git worktree add and symlink things around. We can instead do a single clone and add per-crate BUILD file overlaid onto it (which are still generated by per-crate helper repos). This avoids all usage of worktrees and symlinks, which incidentally should improve both Windows and R2C2 support.

@dzbarsky dzbarsky force-pushed the zbarsjy/git-repos branch from dbb6050 to e5c96be Compare May 1, 2026 14:28
@dzbarsky dzbarsky force-pushed the zbarsjy/git-repos branch from e5c96be to d06b904 Compare May 1, 2026 15:19
@ArchangelX360 ArchangelX360 self-assigned this May 1, 2026
@dzbarsky dzbarsky merged commit c9094a7 into main May 2, 2026
6 of 10 checks passed
intellij-monorepo-bot pushed a commit to JetBrains/intellij-community that referenced this pull request May 5, 2026
hermeticbuild/rules_rs#113

GitOrigin-RevId: 437703a30428bce5f49761d9d1a743e8bc1e5052
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants