scripts used to update headers
record of header information from github history search
update headers with header generated from git history