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.

Sign up for GitHub

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

Jump to bottom

[7.1.0] Make repo marker files sensitive to repo mapping changes #21172

Merged
merged 1 commit into from
Feb 1, 2024
Merged

[7.1.0] Make repo marker files sensitive to repo mapping changes #21172

merged 1 commit into from
Feb 1, 2024

Commits on Feb 1, 2024

  1. Make repo marker files sensitive to repo mapping changes 

    Similar to the fix for bazelbuild#20721, we write recorded repo mapping entries into the marker file so that repo fetching is sensitive to any relevant repo mapping changes.

Fixes bazelbuild#20722.

Closes bazelbuild#21131.

PiperOrigin-RevId: 603310262
Change-Id: I806f383e8579fed3533fac9b181efd8b75e76fcd
    @Wyverald @bazel-io
    Wyverald authored and bazel-io committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    1745889 View commit details
    Browse the repository at this point in the history