Merge pull request #1017 from jberry-suse/source_check-repo_checker-default

check_source: change repo_checker default to new OBS username.
This commit is contained in:
Jimmy Berry 2017-08-14 11:44:16 -05:00 committed by GitHub
commit 8711b45f4a

View File

@ -29,7 +29,7 @@ class CheckSource(ReviewBot.ReviewBot):
self.ignore_devel = False
self.review_team = 'opensuse-review-team'
self.repo_checker = 'factory-repo-checker'
self.repo_checker = 'repo-checker'
self.staging_group = 'factory-staging'
self.skip_add_reviews = False