thunderstrike/purescript-gitea
thunderstrike/purescript-gitea
2
0
Fork 0
generated from tpl/purs
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: nullable

Browse Source
This commit is contained in:
orion 2023-11-28 12:18:13 -06:00
parent 2d932a22a0
commit 5699ad5c54
Signed by: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Gitea.Types.purs
View File

@ -391,7 +391,7 @@ type Branch =
, "name" :: String , "name" :: String
, "protected" :: Boolean , "protected" :: Boolean
, "required_approvals" :: Int , "required_approvals" :: Int
, "status_check_contexts" :: Array String , "status_check_contexts" :: Maybe (Array String)
, "user_can_merge" :: Boolean , "user_can_merge" :: Boolean
, "user_can_push" :: Boolean , "user_can_push" :: Boolean
} }