Merge pull request #224 from fmichonneau/update-gh-labels
authorRaniere Silva <raniere@rgaiacs.com>
Wed, 11 Apr 2018 10:11:49 +0000 (11:11 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Apr 2018 10:11:49 +0000 (11:11 +0100)
Update repo_check.py with new GitHub labels


Trivial merge