Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    b566cc74
    update headers to current year · b566cc74
    Giovanni Bussi authored 
    This will decrease the number of pull requests from PlumedBot.

Currently, everytime a file is updated and someone forgets to run
headers.sh, the headers are outdated. With this change, this will happen
once per year. PlumedBot will thus mostly fix erroneous copyrights
(rarely happening).
    b566cc74
    History
    update headers to current year
    Giovanni Bussi authored 
    This will decrease the number of pull requests from PlumedBot.

Currently, everytime a file is updated and someone forgets to run
headers.sh, the headers are outdated. With this change, this will happen
once per year. PlumedBot will thus mostly fix erroneous copyrights
(rarely happening).
Code owners
Assign users and groups as approvers for specific file changes. Learn more.