The script used to identify and update the change is added into the GitHub workflows script directory. A workflow action can be created to trigger the script to update the headers on the first of every new year. Possibly a task for a consequent PR.
Co-authored-by: SpacemacsBot <not@an.actual.email.beep.boop>
Co-authored-by: Lucius Hu <lebensterben@users.noreply.github.com>
