Skip to content

Delete .git directory from git_repository external repositories when using strip_prefix#18271

Closed
cameron-martin wants to merge 1 commit intobazelbuild:masterfrom cameron-martin:clean-up-git-repos
+10-1

Commits

Commits on Apr 29, 2023