Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Scripts and tools: Fix devtools/copyright_header.py to always honor exclusions #15258
This script compared paths relative to the report directory to test for exclusion,
Fix this by creating absolute paths through the combination of:
Once this is done, we can stop testing for the names that would otherwise
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
Reviewers, this pull request conflicts with the following ones:
If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first.