rename metric

Author: juliangruber

src/components/histogram.js

@@ -13,7 +13,7 @@ export function Histogram(events, { width, title, thresholds }) {
       res.push({ type: 'HTTP only', value: d.success_rate_http * 100 })
     }
     if (d.success_rate_http_head != null) {
-      res.push({ type: 'HTTP only with HEAD support', value: d.success_rate_http_head * 100 })
+      res.push({ type: 'HTTP only w/ HEAD', value: d.success_rate_http_head * 100 })
     }
     return res
   })

src/components/line-graph.js

@@ -21,7 +21,7 @@ export function LineGraph(events, { width, height, title, start, end } = {}) {
     ...filteredEvents.map((event) => ({
       day: event.day,
       success_rate_http: event.success_rate_http,
-      type: 'HTTP only with HEAD support',
+      type: 'HTTP only w/ HEAD',
     })),
   ]
 

src/index.md

@@ -130,7 +130,7 @@ const nonZeroMinersOverTime = Object.entries(SparkMinerRsrSummaries).flatMap(
             0,
           )
         : null,
-      type: 'HTTP only with HEAD support',
+      type: 'HTTP only w/ HEAD',
     },
   ],
 )