fix: do not update source if it is none

google · Nov 27, 2024 · d93adca · d93adca
1 parent 474fbef
commit d93adca
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docker/worker/worker.py b/docker/worker/worker.py
@@ -333,6 +333,10 @@ def _source_update(self, message):
     deleted = message.attributes['deleted'] == 'true'
 
     source_repo = osv.get_source_repository(source)
+    if source_repo is None:
+      logging.info('Failed to get source repository %s', source)
+      return
+
     if source_repo.type == osv.SourceRepositoryType.GIT:
       repo = osv.ensure_updated_checkout(
           source_repo.repo_url,