Skip to content

Conversation

@fmeum
Copy link
Collaborator

@fmeum fmeum commented Sep 13, 2023

No description provided.

@fmeum fmeum requested a review from Wyverald September 13, 2023 12:40
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Sep 13, 2023
@fmeum
Copy link
Collaborator Author

fmeum commented Sep 13, 2023

@Wyverald I guess we are technically lying here as long as we don't declare repo mappings broken with --noenable_bzlmod, but I felt that's okay.

@sgowroji sgowroji added the team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file. label Sep 14, 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 Sep 14, 2023
@fmeum fmeum deleted the label-docs branch September 15, 2023 20:28
@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 Sep 15, 2023
@fmeum
Copy link
Collaborator Author

fmeum commented Sep 15, 2023

@bazel-io flag

@bazel-io bazel-io added the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Sep 15, 2023
@iancha1992
Copy link
Member

@bazel-io fork 6.4.0

@bazel-io bazel-io removed the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Sep 18, 2023
bazel-io pushed a commit to bazel-io/bazel that referenced this pull request Sep 18, 2023
Closes bazelbuild#19509.

PiperOrigin-RevId: 565763282
Change-Id: I0a8ede20b6bda5140a83c03a44577c034a54dd5f
iancha1992 pushed a commit that referenced this pull request Sep 18, 2023
Closes #19509.

Commit
d9beda5

PiperOrigin-RevId: 565763282
Change-Id: I0a8ede20b6bda5140a83c03a44577c034a54dd5f

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

Labels

team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants