Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Show "did you mean" suggestion for {override,inject}_repo #23982

Closed
wants to merge 2 commits into from

Conversation

fmeum
Copy link
Collaborator

@fmeum fmeum commented Oct 15, 2024

Fixes #23981

@fmeum
Copy link
Collaborator Author

fmeum commented Oct 15, 2024

@bazel-io fork 7.4.0

@fmeum
Copy link
Collaborator Author

fmeum commented Oct 15, 2024

@bazel-io fork 8.0.0

@github-actions github-actions bot added team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file. awaiting-review PR is awaiting review from an assigned reviewer labels Oct 15, 2024
@meteorcloudy meteorcloudy 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 Oct 16, 2024
@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 Oct 16, 2024
bazel-io pushed a commit to bazel-io/bazel that referenced this pull request Oct 16, 2024
Fixes bazelbuild#23981

Closes bazelbuild#23982.

PiperOrigin-RevId: 686486627
Change-Id: I5f03b63601a535f8d551c005b00bf040846a324d
bazel-io pushed a commit to bazel-io/bazel that referenced this pull request Oct 16, 2024
Fixes bazelbuild#23981

Closes bazelbuild#23982.

PiperOrigin-RevId: 686486627
Change-Id: I5f03b63601a535f8d551c005b00bf040846a324d
@fmeum fmeum deleted the 23981-override-suggestion branch October 16, 2024 17:33
github-merge-queue bot pushed a commit that referenced this pull request Oct 17, 2024
…24003)

Fixes #23981

Closes #23982.

PiperOrigin-RevId: 686486627
Change-Id: I5f03b63601a535f8d551c005b00bf040846a324d

Commit
b0f1430

Co-authored-by: Fabian Meumertzheim <[email protected]>
github-merge-queue bot pushed a commit that referenced this pull request Oct 17, 2024
…24000)

Fixes #23981

Closes #23982.

PiperOrigin-RevId: 686486627
Change-Id: I5f03b63601a535f8d551c005b00bf040846a324d

Commit
b0f1430

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.

override_repo does not suggest using repo name for module override
3 participants