diff options
| author | Maxime Dénès | 2018-04-19 13:30:04 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-04-19 13:30:04 +0200 |
| commit | d799b6a6117258583919dc4e518afd92b23a05ed (patch) | |
| tree | 572ccb26afcd0685dcd300356f5cb6a9d4c6760f | |
| parent | af84be937512a9df8bb80066c0e5a8fd36285b74 (diff) | |
| parent | 4bd3e129f2a27e9ff78a949fbe4b1e98776652dd (diff) | |
Merge PR #7248: Assign circleci files to @SkySkimmer
| -rw-r--r-- | .github/CODEOWNERS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 2d8fc791bd..029b55b9ad 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -11,6 +11,9 @@ /dev/ci/*.sh @ejgallego # Secondary maintainer @SkySkimmer +/.circleci/ @SkySkimmer +# Secondary maintainer @ejgallego + /.travis.yml @ejgallego # Secondary maintainer @SkySkimmer |