Skip to content

Fix #697: Add copyright/license headers to files that are missing them #866

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

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

mhucka
Copy link
Collaborator

@mhucka mhucka commented Aug 16, 2025

In keeping with Google OSS practices, we should include headers in all code source & data files. This commit adds headers to a small number of files that were still lacking them.

There are no other changes in this PR.

@github-actions github-actions bot added size: L and removed size: S labels Aug 16, 2025
@mhucka mhucka added the area/health Involves general matters of project configuration, health, maintenance, and similar concerns label Aug 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/health Involves general matters of project configuration, health, maintenance, and similar concerns size: L
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant