From 6d78c6097046eb5529fb0dfcd6ea920ef185d015 Mon Sep 17 00:00:00 2001
From: Brad Stein <Brad.Stein@gmail.com>
Date: Sun, 19 Apr 2026 16:08:02 -0300
Subject: [PATCH] ci(metrics): use Pushgateway PUT to replace stale suite
 metrics

---
 scripts/publish_test_metrics.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/publish_test_metrics.py b/scripts/publish_test_metrics.py
index 04b9688..8ed9b6c 100644
--- a/scripts/publish_test_metrics.py
+++ b/scripts/publish_test_metrics.py
@@ -75,7 +75,7 @@ def _post_text(url: str, payload: str) -> None:
     req = urllib.request.Request(
         url,
         data=payload.encode("utf-8"),
-        method="POST",
+        method="PUT",
         headers={"Content-Type": "text/plain"},
     )
     with urllib.request.urlopen(req, timeout=10) as resp: