sync contributor badges with latest PRs

scode2277 · scode2277 · commit 4e3886f3f44c · 2026-04-10T19:06:34.000+02:00
diff --git a/docs/pages/config/contributors.json b/docs/pages/config/contributors.json
@@ -705,7 +705,7 @@
 "shallem": {
     "slug": "shallem",
     "name": "Seth Hallem",
-    "avatar": "",
+    "avatar": null,
     "github": "https://github.com/shallem",
     "twitter": "https://x.com/seth_certora",
     "website": "https://www.certora.com/",
@@ -714,6 +714,9 @@
     "job_title": null,
     "description": "Steward of Opsec framework",
     "badges": [
+      { "name": "Framework-Steward", "assigned": "2026-04-09", "framework": "Operational Security" },
+      { "name": "First-Contribution", "assigned": "2025-09-10" },
+      { "name": "Active-Last-7d", "lastActive": "2026-04-09" }
     ]
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -705,7 +705,7 @@`
`705`	`705`	`"shallem": {`
`706`	`706`	`"slug": "shallem",`
`707`	`707`	`"name": "Seth Hallem",`
`708`		`- "avatar": "",`
	`708`	`+ "avatar": null,`
`709`	`709`	`"github": "https://github.com/shallem",`
`710`	`710`	`"twitter": "https://x.com/seth_certora",`
`711`	`711`	`"website": "https://www.certora.com/",`
`@@ -714,6 +714,9 @@`
`714`	`714`	`"job_title": null,`
`715`	`715`	`"description": "Steward of Opsec framework",`
`716`	`716`	`"badges": [`
	`717`	`+ { "name": "Framework-Steward", "assigned": "2026-04-09", "framework": "Operational Security" },`
	`718`	`+ { "name": "First-Contribution", "assigned": "2025-09-10" },`
	`719`	`+ { "name": "Active-Last-7d", "lastActive": "2026-04-09" }`
`717`	`720`	`]`
`718`	`721`	`}`
`719`	`722`	`}`