Enable SourceTools to add a license statement even if the file already has a copyright statement
@clemenci @cburr if I understand the behaviour of SourceTools correctly, the check_copyright function only fails if files are missing any kind of copyright statement, whether or not they have a license statement. Similarly add_copyright (whether or not the --force option is used) only adds a license to files which have no copyright statement. In practice the problem this is creating is that in Allen merge requests developers typically commit files with only a copyright statement but without a license, and the license then has to be added a posteriori by hand, which is time-intensive on the maintainers. This recent MR is illustrative.
What in your opinion is the best way to handle the case where we want to require that files have both a license and a copyright statement? Edit: to be clear I am happy to do the work to improve this, but I prefer not to open an MR before we discuss how to proceed first.