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
Add support in `check_header.py` for Python 3-style headers #7713
Once we drop Python 2, we can simplify our headers to no longer use
Still, we (at least temporarily) want to support the Python 2 style as well.