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

fix: teamname

Browse Source
This commit is contained in:
orion kindel 2023-11-28 10:44:21 -06:00
parent 032ff8fa63
commit 8e0009350d
Signed by: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Gitea.Types.purs
View File

@ -413,11 +413,11 @@ type BranchProtectionMutable r =
, "enable_push" :: Boolean
, "enable_push_whitelist" :: Boolean
, "enable_status_check" :: Boolean
, "merge_whitelist_teams" :: Array String
, "merge_whitelist_teams" :: Array TeamName
, "merge_whitelist_usernames" :: Array String
, "protected_file_patterns" :: String
, "push_whitelist_deploy_keys" :: Boolean
, "push_whitelist_teams" :: Array String
, "push_whitelist_teams" :: Array TeamName
, "push_whitelist_usernames" :: Array String
, "require_signed_commits" :: Boolean
, "required_approvals" :: Int