Merge pull request #86 from w3c/jnurthen/issue85

w3c · May 24, 2022 · b1219af · b1219af
2 parents d3c76b2 + e8ea281
commit b1219af
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);
+	})
+}