Archived plugins not proposed from Github anymore

LeedRSS · Jan 10, 2024 · 71630d2 · 71630d2
1 parent a465c28
commit 71630d2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Plugin.class.php b/Plugin.class.php
@@ -200,6 +200,9 @@ protected function getGithubMarketReposInfos($repos) {
         $infos = array();
         $installedPluginsNames = $this->getInstalledPluginsNames();
         foreach($repos as $repo) {
+            if($repo->archived) {
+                continue;
+            }
             $repoName = $repo->name;
             if(!in_array(strtolower($repoName), $installedPluginsNames)) {
                 $infos[] = array(