From 114ef5fb7d7cc002d15c74845635745fc58449b5 Mon Sep 17 00:00:00 2001
From: dave vader <48764154+plyr4@users.noreply.github.com>
Date: Mon, 22 Apr 2024 13:20:37 -0500
Subject: [PATCH] fix: set repo.owner.admin to optional (#792)

---
 src/elm/Vela.elm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/elm/Vela.elm b/src/elm/Vela.elm
index 694563275..6eda58ebe 100644
--- a/src/elm/Vela.elm
+++ b/src/elm/Vela.elm
@@ -180,7 +180,7 @@ decodeUser =
         |> required "name" string
         |> optional "favorites" (Json.Decode.list string) []
         |> required "active" bool
-        |> required "admin" bool
+        |> optional "admin" bool False
 
 
 emptyUser : User