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

Exclude .tmp_git_root from globs #1948

Merged
merged 2 commits into from
Jun 23, 2023

Commits on Jun 22, 2023

  1. Exclude .tmp_git_root from globs

    This directory contains the original git repo when the crate is from git. Including this directory currently makes these rules re-run whenever the repository rule re-runs, although this is fixed by bazelbuild/bazel#18271. Even after this fix, excluding this directory avoids depending on unnecessary files.
    
    Fixes bazelbuild#1927.
    cameron-martin committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    6d0c004 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d3b5a47 View commit details
    Browse the repository at this point in the history