do not include archived repos in HR repo list

Author: dontcallmedom

extract-horizontal-reviews.js

@@ -8,7 +8,7 @@ const hrLabelRegexp = new RegExp(/-(tracker|needs-resolution)$/);
 const isHRLabel = n => n.name.match(hrLabelRegexp);
 
 console.log(JSON.stringify(
-  repos.filter(r => r.labels && r.labels.find(isHRLabel) ||
+  repos.filter(r => !r.isArchived && r.labels && r.labels.find(isHRLabel) ||
     (r.w3c && r.w3c["repo-type"]
     && (r.w3c["repo-type"] === "rec-track" ||
     r.w3c["repo-type"].includes("rec-track"))))