Improve GPL header where possible

[dagwieers]

Currently, some files still have a large GPL header at the top. But most files do not have a GPL header at all. We should probably look at what the GNU project is recommending for this. I think a single line is sufficient for files and the complete GPL license in the root of the project should be sufficient.

[gdha]

@dagwieers http://www.gnu.org/prep/maintain/maintain.html#License-Notices-for-Code
@rear/owners seems according GPL we should add some minimal lines to all our scripts...

[schlomo]

Yes, that might be correct. But I find it overly tedious to put the boiler
plate everywhere and I would prefer a simpler one-liner boilerplate like

This file is part of Relax and Recover, licensed under the GNU General
Public License. Refer to the included LICENSE for full text of license.

On 18 December 2013 15:17, gdha notifications@github.com wrote:

@dagwieers https://github.com/dagwieers
http://www.gnu.org/prep/maintain/maintain.html#License-Notices-for-Code
@rear/owners seems according GPL we should add some minimal lines to all
our scripts...

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/116#issuecomment-30844450
.

[gdha]

Propose when we edit a script we add/rewrite the GPL line - will not do in mass.

[schlomo]

Sounds good to me. Let's add the "official" GPL line to use somewhere in
our dev docs.

On 23 October 2014 09:35, gdha notifications@github.com wrote:

Propose when we edit a script we add/rewrite the GPL line - will not do in
mass.

—
Reply to this email directly or view it on GitHub
#116 (comment).

[gdha]

we are doing our best, but is not an issue as such - close it