diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-05-14 16:21:56 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-14 16:21:56 +0200 |
| commit | d387845554b51af6b628480b82976c6825d464f6 (patch) | |
| tree | 5cdd9a60e0fe45029610f2403cb08785c02685d9 /.github | |
| parent | d6258081255af9e0ee8a62110945ba93299c43c6 (diff) | |
| parent | 273292326de103c64cc7c5c3708c484c7064f551 (diff) | |
Merge PR #7170: Script to identify the code owner for given files
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index ab9725c96..2b6c167b7 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -338,3 +338,6 @@ /dev/tools/pre-commit @SkySkimmer /dev/tools/sudo-apt-get-update @JasonGross + +/dev/tools/check-owners*.sh @SkySkimmer +# Secondary maintainer @maximedenes |