Copyright headers for split files

Stream: general

[Yaël Dillies]

What's the rule for the copyright header of a file that's been split off another one?

• Who should we credit for the copyright?
• Who should we credit as authors?
• What date should we set?

[Eric Wieser]

Sometimes the git blame shows the entire contents of the split was added in a single commit - if so, then using the authors for that commit is probably reasonable

[Eric Wieser]

When in doubt, I've just duplicated the header

[Mario Carneiro]

+1 to duplicating the header. Same authors, copyright, and date as the original

[Mario Carneiro]

I suppose it's fine to drop an author that you know was not involved (past or present) in any of the lines being moved, but usually it's not worth the trouble

[Yaël Dillies]

Okay thanks!