Hi Christian, > we would still have > both the top-level AUTHORS file and the attribution via the Git history. > > So, please do let me know if you (for whatever reason) would object to > removing the per-source file @author attributions.
Mails sent to gnu-community-private on 2019-09-25 14:10 GMT and 2019-09-27 12:09 GMT give a convincing argumentation that, in order to enforce the GPL in the EU, for contributors who are not doing paid work, the contributors must be mentioned in the respective source files. Removing all @author lines from the source code makes the GPL practically unenforceable in the EU. Look at the Christoph Hellwig vs. VMware case for an example. He failed because the court was not willing to wade through git logs and 'git annotate' pictures; they want something simpler than that. Bruno
