-
-
Notifications
You must be signed in to change notification settings - Fork 441
Shorter copyright header #4767
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
Shorter copyright header #4767
Conversation
To do:
|
|
This PR saves +370 bytes per copyright header. For +5k files. Thats 1850000 bytes in total ... minimum. According to https://ecoping.earth/tools/convert-bytes-to-co2-grams/
|
If a developer or third party extracts a single source file without also copying the COPYING.txt file, they might not see the copyright information. The risk lies in potential misattribution if files become separated from the central notice. |
... months later 👍 @kiatng after all that commits and discussions ... now when its finished ... its no good? (macht Spass^^) |
My opinion is that when a developer extracts a file from the OM package, he should be careful about copyright. It is not my responsibility to check whether he respects copyright or not. @sreichl - please don't close any PR's without waiting for other opinions. |
Started Jan, 9th ... after multiple changes, AI try, now again manual changes via regex replace ... take it or leave it. I try my best, but when its not enough - its not enough. Case closed. |
Related Pull Requests