You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The rucio\rucio repository uses header-lint script to ensure consistent headers across all source files. We could use the same script or something similar here as well.
Modification
Add header-lint script from rucio/rucio.
update the pre-commit hooks to include header-linting
add the header-lint step in the autotest workflow
The text was updated successfully, but these errors were encountered:
The header lint script gives me a big headache. While I like the idea of explicitly listing all contributors to a source file, the header lint generates a lot of noise in the commits. They make the actual changes harder to read and pollute the history. The logic is, at the same time, fairly complex and not easy to implement. We still have multiple problems with the original header lint script.
There are sophisticated git tools to list the contributors of a file, they should be used instead.
We could create a script to add a generic Copyright information to the files, however I would strongly avoid to insert the contributors.
Hey @joeldierkes, seeing the fate of header-lint in the main rucio repo, I agree with you. Would you have time to add a script to add copyright notice to the files changed in a PR. :)
Motivation
The
rucio\rucio
repository usesheader-lint
script to ensure consistent headers across all source files. We could use the same script or something similar here as well.Modification
rucio/rucio
.The text was updated successfully, but these errors were encountered: