From 26b46876c53b51b477d1ca6e9e3a75df67a958cb Mon Sep 17 00:00:00 2001
From: mrjvs <jellevs@gmail.com>
Date: Thu, 25 Jan 2024 22:27:54 +0100
Subject: [PATCH] fix linting

---
 src/routes/metrics.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/routes/metrics.ts b/src/routes/metrics.ts
index 53cf7eb..e20e39f 100644
--- a/src/routes/metrics.ts
+++ b/src/routes/metrics.ts
@@ -68,7 +68,7 @@ export const metricsRouter = makeRouter((app) => {
 
       if (body.tool) {
         getMetrics().toolMetrics.inc({
-          tool: body.tool
+          tool: body.tool,
         });
       }