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:57 -06:00
parent 5699ad5c54
commit df273eb635
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

@ -417,7 +417,7 @@ type BranchProtectionMutable r =
, "push_whitelist_usernames" :: Array String
, "require_signed_commits" :: Boolean
, "required_approvals" :: Int
, "status_check_contexts" :: Array String
, "status_check_contexts" :: Maybe (Array String)
, "unprotected_file_patterns" :: String
| r
)