This commit doesn't update the licenses link in the file copyright header on existing files; it only updates copyright_header.py (its insert subcommand) so it writes the https: link in new files rather than http:.
https://www.opensource.org/licenses/mit-license.php
When running the next copyright_header.py update (near the end of the year, @hebasto), perhaps we can run something like this and include in the same PR:
git ls-files -- '*.h' '*.cpp' '*.cc' '*.c' '*.mm' '*.py' '*.sh' '*.bash-completion' |
xargs sed -i s,http://www.opensource.org/licenses,https://www.opensource.org/licenses,
