extra_labels

This commit is contained in:
mrT23 2023-11-15 14:07:32 +02:00
parent 2e95988741
commit 7a342d3312
No known key found for this signature in database
GPG key ID: D350490E39D5F5AD

View file

@ -398,5 +398,5 @@ class PRReviewer:
not label.lower().startswith('review effort [1-5]:') and not label.lower().startswith( not label.lower().startswith('review effort [1-5]:') and not label.lower().startswith(
'possible security concern')] 'possible security concern')]
self.git_provider.publish_labels(review_labels + current_labels_filtered) self.git_provider.publish_labels(review_labels + current_labels_filtered)
except: except Exception as e:
pass get_logger().error(f"Failed to set review labels, error: {e}")