diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-11-23 14:00:41 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-11-23 14:00:46 -0500 |
| commit | a7dc03223e915d7afb30498fe5faa12b5402f7d8 (patch) | |
| tree | 695db3069a9b801349afa68b19a6a23f24c55e9c /doc/travis-ci.md | |
| parent | 2607c38fc5170409dd13f3061ba5e5fa2de6438d (diff) | |
| parent | af9a9918b245ee9559e1dccab0ede819521fa80e (diff) | |
Merge #14785: Scripts: Fix detection of copyright holders
af9a9918b2 Fix detection of copyright holders (Cornelius Schumacher)
Pull request description:
Fix copyright holder detection so that `copyright_header.py report` creates a clean and accurate report:
* Fix list of copyright holders in the code
* Also detect copyrights which have a comma after the date
* Exclude directories which are git subtrees
Tree-SHA512: 7ab78618aa62c7d40b6688ddcde4a85c6fc5df8275271fa85518e146c1db90760bfafaa6036b9f6afbe887fd7e9274c913786101668573a3e289b3411aa6842f
Diffstat (limited to 'doc/travis-ci.md')
0 files changed, 0 insertions, 0 deletions