Skip to content

docs: Add strip_components to repository_ctx.download_and_extract and .extract (placeholder)#29329

Closed
deepalak56 wants to merge 1 commit intobazelbuild:masterfrom
deepalak56:docs-bot/updates-29281-1776484542
Closed

docs: Add strip_components to repository_ctx.download_and_extract and .extract (placeholder)#29329
deepalak56 wants to merge 1 commit intobazelbuild:masterfrom
deepalak56:docs-bot/updates-29281-1776484542

Conversation

@deepalak56
Copy link
Copy Markdown
Contributor

This PR introduces strip_components to repository_ctx.download_and_extract and repository_ctx.extract functions, allowing users to specify the number of leading path components to strip during extraction. This new attribute is mutually exclusive with strip_prefix.

Original PR: #29281

Note: Due to persistent issues in programmatically identifying the correct documentation files within the Bazel repository (404 errors on multiple plausible paths, search API rate limits, and incomplete list_docs_in_repo results), the changes have been applied to placeholder files. A manual review is required to integrate this content into the definitive documentation for repository_ctx methods.

… .extract (placeholder)

This PR introduces `strip_components` to `repository_ctx.download_and_extract` and `repository_ctx.extract` functions, allowing users to specify the number of leading path components to strip during extraction. This new attribute is mutually exclusive with `strip_prefix`. 

Original PR: bazelbuild#29281

**Note**: Due to persistent issues in programmatically identifying the correct documentation files within the Bazel repository (404 errors on multiple plausible paths, search API rate limits, and incomplete `list_docs_in_repo` results), the changes have been applied to placeholder files. A manual review is required to integrate this content into the definitive documentation for `repository_ctx` methods.
@github-actions github-actions bot added team-Documentation Documentation improvements that cannot be directly linked to other team labels awaiting-review PR is awaiting review from an assigned reviewer labels Apr 18, 2026
@deepalak56 deepalak56 closed this Apr 18, 2026
@github-actions github-actions bot removed the awaiting-review PR is awaiting review from an assigned reviewer label Apr 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-Documentation Documentation improvements that cannot be directly linked to other team labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant