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

git: Ignore build/lib not lib in gitignore #6882

Merged
merged 1 commit into from May 12, 2021

Conversation

themarwhal
Copy link
Member

@themarwhal themarwhal commented May 12, 2021

Signed-off-by: Marie Bremner marwhal@fb.com

Summary

We have several non generated directories that are named 'lib' that we don't want to ignore in git.
Instead of blindly ignoring '/lib' and adding exception rules, just ignore 'build/lib' which covers the everything we want. (I think)

From a quick search in my local setup, here are the list of directories with 'lib' (excluding node_modules)

.//lte/gateway/python/build/lib # ok to ignore
.//lte/gateway/c/oai/lib # don't want to ignore
.//lte/gateway/c/oai/code_coverage/lib # already covered by another gitignore
.//feg/radius/lib # don't want ignore
.//build/oai/lib # ok to ignore
.//third_party/build/lib # ok to ignore
# .cache is already covered by another gitignore
.//.cache/go/pkg/mod/cache/download/github.com/facebookincubator/magma/orc8r/lib
.//.cache/go/pkg/mod/cache/download/github.com/lib
.//.cache/go/pkg/mod/github.com/lib
.//orc8r/lib # don't want to ignore
.//orc8r/gateway/python/build/lib # ok to ignore

Test Plan

I built orc8r/agw/nms and checked that my git status looks reasonable

Additional Information

  • This change is backwards-breaking

@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines. label May 12, 2021
@themarwhal themarwhal requested a review from a team May 12, 2021 15:32
@github-actions
Copy link
Contributor

Thanks for opening a PR! 💯 Please note that all commits must be signed off. This is enforced by the DCO check.

Howto

  • Reviews. The "Reviewers" listed for this PR are the Magma maintainers who will shepherd it.
  • Checks. All required CI checks must pass before merge.
  • Merge. Once approved and passing CI checks, use the ready2merge label to indicate the maintainers can merge your PR.

More info

Please take a moment to read through the Magma project's

If this is your first Magma PR, also consider reading

Signed-off-by: Marie Bremner <marwhal@fb.com>
@rdefosse
Copy link
Contributor

@themarwhal

Thx a lot. I also bothered me a lot when modifying files in lte/gateway/c/oai/lib

@themarwhal themarwhal merged commit d696dad into magma:master May 12, 2021
@themarwhal themarwhal deleted the fix-oai-gitignore branch May 25, 2021 17:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size/XS Denotes a PR that changes 0-9 lines.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants