From 071270fe8845f8051e077b87958bec489dfd3be6 Mon Sep 17 00:00:00 2001
From: Joseph T Lyons <JosephTLyons@gmail.com>
Date: Wed, 5 Jun 2024 13:29:34 -0400
Subject: [PATCH] Remove `meta` label

This label has been deleted. Now, the only label used for ignoring top-ranking issues is `ignore top-ranking issues`.
---
 script/update_top_ranking_issues/main.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/script/update_top_ranking_issues/main.py b/script/update_top_ranking_issues/main.py
index ea50363299..ce5791df18 100644
--- a/script/update_top_ranking_issues/main.py
+++ b/script/update_top_ranking_issues/main.py
@@ -32,7 +32,6 @@ ADDITIONAL_LABELS: set[str] = {
 }
 IGNORED_LABELS: set[str] = {
     "ignore top-ranking issues",
-    "meta",
 }
 ISSUES_PER_LABEL: int = 20