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)
commit0e3a4316d8657b9d1d2df75a5bb76f064d2b5e66
tree288175c63e8489b4b15e3372e186cb8063210142
parentae4a6939c6622f29a15dc642e55f6602807e1c5d
parentfd9e75ee8a62d40e6f7ebbb6882dde68cf7fc3be
Merge pull request #224 from fmichonneau/update-gh-labels

Update repo_check.py with new GitHub labels