fix(checher): delete repmgr

EamonZhang · EamonZhang · commit 67a7807c0bec · 2023-11-21T11:58:26.000+08:00
diff --git a/scripts/checker.py b/scripts/checker.py
@@ -307,12 +307,6 @@
         "owner": "mysql",
         "match": "^[0-9]{1,}\.[0-9]{1,}\.[0-9]{1,}$",
     },
-    "repmgr": {
-        "name": "repmgr",
-        "type": "github",
-        "owner": "EnterpriseDB",
-        "match": "^v[0-9]{1,}\.[0-9]{1,}\.[0-9]{1,}$",
-    },
     "zookeeper": {
         "name": "zookeeper",
         "type": "github",
