-
Notifications
You must be signed in to change notification settings - Fork 173
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: update license header #3623
Conversation
Hi @AJPfleger I'm afraid you have to update this to include the latest PRs that went into ACTS |
@CarloVarni I covered all new files in my daily update. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
let's get this in
I'm sorry to delay this, but does this mean we need to touch every single file every 1st of January or the CI is red? I think if we update this, the solution needs to be:
|
Oh right I forgot about that issue. A few potential solutions
|
I would prefer most a static solution in the form of Is the first solution fine for everyone? |
The first one would make people think they have to update the year when they change a file. The second one seems uncomplete with a dangling |
I am also in favor of this
It also makes clear that this is the first date of the copyright, whatever it means, but it cannot be confused anymore with the date of the file which is a good thing IMO |
In today's developer meeting, no-one disfavoured to use the static |
Quality Gate passedIssues Measures |
Initial Problem
All files in our project have a different copyright header, which may or may not be updated when changes are done. This adds some clutter and unnecessary thinking to each PR.
Solution attempts
The most beautiful solution would be to automatically update each file with creation-date and when it was last touched. However, this is not possible, because of some reasons.
Creation date
We could go back into the git logs and check the first entry. This gets a bit confusing, when we rename/move files. In theory, it should work with
--follow
. However, I noticed, that often the suggested creation date is newer, than the actual one, following all PRs by hand.Modification date
For this one, we get definitely the correct year, however, by updating the headers to the actual year, we add an modification in this year. In the end, we would need to update all files to this year (Except those, that weren't touch outsider their initial creation year.)
Options
In the end it boils down to 3 options with their ups and downs
🅰
git_add_date
totoday
(current proposal)This is an approach to get the most accurate numbers out.
Pros:
Cons:
🅱
existing_date
totoday
Similar to 🅰 but with the assumption, that we trust our old code more than the buggy git-log.
🅲 min(🅰, 🅱)
We could use the data provided in 🅰 and 🅱 and only use the
git_add_date
when it is smaller, than the indicated date. Still not perfect, but maybe a bit better. This option is probably not the best for keeping in the CI and pre-commit.🅳
2016
totoday
Uses the full span.
Pros:
Cons:
Other changes