From f898cd6ecbc13333c2ebd94579db954253e0c2e7 Mon Sep 17 00:00:00 2001
From: Chris Penner <christopher.penner@gmail.com>
Date: Tue, 21 Jun 2022 10:42:41 -0600
Subject: [PATCH] Make user id optional on hash-jwts to accomodate
 unauthenticated public downloads. (#3141)

---
 unison-share-api/src/Unison/Sync/Types.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unison-share-api/src/Unison/Sync/Types.hs b/unison-share-api/src/Unison/Sync/Types.hs
index 6e8e12c63..8fa5ae1e9 100644
--- a/unison-share-api/src/Unison/Sync/Types.hs
+++ b/unison-share-api/src/Unison/Sync/Types.hs
@@ -152,7 +152,7 @@ hashJWTHash =
 
 data HashJWTClaims = HashJWTClaims
   { hash :: Hash32,
-    userId :: Text
+    userId :: Maybe Text
   }
   deriving stock (Show, Eq, Ord)