remove bots from contributors list

Fixes #85
w3c · May 24, 2022 · e8ea281 · e8ea281
1 parent d3c76b2
commit e8ea281
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/script/utility.js b/script/utility.js
@@ -9,3 +9,8 @@ function addPlatformMaintainers() {
 		if (node.textContent.trim() == "Authors:") node.textContent = "Platform Mapping Maintainers:";
 	})
 }
+function fixContributors() {
+	document.querySelectorAll("#gh-contributors li a").forEach(function(node){
+		if (node.textContent.indexOf("[bot]") >  0) node.parentElement.parentElement.removeChild(node.parentElement);
+	})
+}