diff --git a/check_source.py b/check_source.py index e3b453d2..a856d842 100755 --- a/check_source.py +++ b/check_source.py @@ -39,6 +39,7 @@ class CheckSource(ReviewBot.ReviewBot): config = self.staging_config[project] self.ignore_devel = not str2bool(config.get('devel-project-enforce', 'False')) + self.in_air_rename_allow = str2bool(config.get('check-source-in-air-rename-allow', 'False')) self.add_review_team = str2bool(config.get('check-source-add-review-team', 'True')) self.review_team = config.get('review-team') self.repo_checker = config.get('repo-checker') @@ -101,7 +102,7 @@ class CheckSource(ReviewBot.ReviewBot): return False # We want to see the same package name in the devel project as in the distro; anything else calls for confusion - if source_package != target_package: + if not self.in_air_rename_allow and source_package != target_package: self.review_messages['declined'] = "No in-air renames: The package must be called the same in the devel project as in the target project" return False