From 96e445016918424f887ba9ce4ddbdc90e61e861b Mon Sep 17 00:00:00 2001 From: Rui Chen Date: Sun, 17 Nov 2024 12:04:36 -0500 Subject: [PATCH] chore: ignore ansible-lint Signed-off-by: Rui Chen --- generate-prs.rb | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/generate-prs.rb b/generate-prs.rb index 0af15546..ed869db4 100644 --- a/generate-prs.rb +++ b/generate-prs.rb @@ -26,6 +26,10 @@ "charmcraft", # Hopelessly complicated build "pytorch", + # ansible-lint depends on ansible, which can be handled when ansible got updated + # and there is also complexity if the vulnerability is in ansible-core, which would cause + # ansible-core version discrepancy between ansible and ansible-lint + "ansible-lint", ] PR_LIMIT = ENV.fetch("HOMEBREW_AUTO_PR_LIMIT", 25).to_i