| Summary: | clean up copyright headers | ||
|---|---|---|---|
| Product: | [Technology] JGit | Reporter: | Thomas Koch <thomas> |
| Component: | JGit | Assignee: | Project Inbox <jgit.core-inbox> |
| Status: | CLOSED WORKSFORME | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | matthias.sohn, remy.suen, thomas |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Thomas Koch
(In reply to comment #0) > Can you help me in any way? Could you have exactly the same copyright statement > on every source file? we can't as this would be incompatible with the Eclipse Foundation's IP policies > Could you provide an AUTHORS file in the top level > folder, listing all IP owners with the appropriate dates? > We might be able to generate this in the JGit build if somebody finds the time to tackle this. Would it be sufficient to list the copyright holders or do you also need the years ? In the meantime, somebody else already packaged jgit and somehow dealed with the situation. I'll contact the Debian jgit maintainer and if he does not see any need for this I'll close this issue after a while. From the Debian Maintainer of JGit: for the purpose of keeping jgit's d/copyright up to date I wrote myself an ugly python script that helps me to parse out the names and their respective years. It's far from perfect but it does the most of work for me. Of course it would still be good to have a nice list of copyright owners, but it's not so critical. If you don't wish to deal with that issue anymore, feel free to close it in bugzilla. Regards, Jakub |