Skip to content

Do not use a partial clone for caching git repositories locally#728

Merged
Kobzol merged 1 commit intorust-lang:mainfrom
Kobzol:normal-clone
Apr 3, 2026
Merged

Do not use a partial clone for caching git repositories locally#728
Kobzol merged 1 commit intorust-lang:mainfrom
Kobzol:normal-clone

Conversation

@Kobzol
Copy link
Copy Markdown
Member

@Kobzol Kobzol commented Apr 3, 2026

It was causing some git issues, it does not seem to be worth the trouble.

@Kobzol Kobzol enabled auto-merge April 3, 2026 09:39
@Kobzol Kobzol added this pull request to the merge queue Apr 3, 2026
Merged via the queue into rust-lang:main with commit d944c05 Apr 3, 2026
3 checks passed
@Kobzol Kobzol deleted the normal-clone branch April 3, 2026 09:47
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.

1 participant