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

chore: ensure copyright header in Python files #2112

Merged

yury-s merged 1 commit into main from ensure-copyright-header

Oct 12, 2023

Member

mxschmitt commented Oct 12, 2023

No description provided.


          chore: ensure copyright header in Python files

0ffd443

yury-s approved these changes

View reviewed changes

utils/linting/check_file_header.py

+                  if content.strip() == "":
+                      return
+                  if content.startswith("#!"):
+                      # flake8: noqa: E203

Member

yury-s Oct 12, 2023

What is this about?

yury-s merged commit 48f4e5b into main

yury-s deleted the ensure-copyright-header branch

October 12, 2023 15:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet