From 5a51a70a6ffb40b568be50c2245d8f6178b4c477 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 06:34:16 -0600
Subject: Add support for manual deploy

---
 bin/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/main.ml b/bin/main.ml
index ab5548a..d3f283f 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -138,7 +138,7 @@ let () =
                  Dream.log "Unauthorized request";
                  let code = Some 401 in
                  Dream.json ?code "Unauthorized"
-             | _, _, false ->
+             | _, "false", false ->
                  Dream.log "Unauthorized request";
                  let code = Some 401 in
                  Dream.json ?code "Unauthorized, not in whitelist"
-- 
cgit v1.2.3