Three scripts in contrib/devtools/ are introduced:
copyright_header_report.py
- outputs a report of copyright claims in the source files
- helps to identify files that are missing copyright
- helps to identify files that were added that have a new copyright holder beyond the current known set
- helps to find typos in the copyright header
copyright_header_update.py
- replaces fix-copyright-headers.py
- does file editing in native python rather than an external call to perl
copyright_header_insert.py
- inserts a properly-formatted header with proper dates into a given source file
Altogether, I hope they make the task of managing the copyright headers a bit easier.