From fff6edd87e0a47887e7eea84fc21eaea0b6b3179 Mon Sep 17 00:00:00 2001 From: Ludwig Nussel Date: Tue, 8 Aug 2017 11:59:29 +0200 Subject: [PATCH] update-crawler: handle devel projects allow filtering by devel project too --- update_crawler.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/update_crawler.py b/update_crawler.py index 37a46531..ed69adff 100755 --- a/update_crawler.py +++ b/update_crawler.py @@ -262,6 +262,9 @@ class UpdateCrawler(object): for package, sourceinfo in sources.items(): origin = self.lookup.get(package, '') + if origin.startswith('Devel;'): + (dummy, origin, dummy) = origin.split(';') + if self.filter_lookup and not origin in self.filter_lookup: if not origin.startswith('subpackage of'): self.skipped.setdefault(origin, set()).add(package)