Skip to content

Conversation

@siddharthab
Copy link
Contributor

Fixes #20509.

@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Dec 12, 2023
@Wyverald Wyverald added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Dec 12, 2023
@iancha1992 iancha1992 added the team-OSS Issues for the Bazel OSS team: installation, release processBazel packaging, website label Dec 12, 2023
@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Dec 12, 2023
bazel-io pushed a commit to bazel-io/bazel that referenced this pull request Dec 18, 2023
Fixes bazelbuild#20509.

Closes bazelbuild#20510.

PiperOrigin-RevId: 590328908
Change-Id: I5023450d7c1e23ee52e9cd7291aaf843e7365cc2
iancha1992 pushed a commit that referenced this pull request Dec 18, 2023
…0594)

Fixes #20509.

Closes #20510.

Commit
e11506f

PiperOrigin-RevId: 590328908
Change-Id: I5023450d7c1e23ee52e9cd7291aaf843e7365cc2

Co-authored-by: Siddhartha Bagaria <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-OSS Issues for the Bazel OSS team: installation, release processBazel packaging, website

Projects

None yet

Development

Successfully merging this pull request may close these issues.

tools/bazel detection is broken with bzlmod repos

3 participants