mirror of
https://github.com/Smaug123/gitea-repo-config
synced 2025-10-06 07:58:39 +00:00
24 lines
449 B
Forth
24 lines
449 B
Forth
namespace Gitea.InMemory
|
|
|
|
open System
|
|
open System.Threading.Tasks
|
|
open Gitea.Declarative
|
|
|
|
module Types =
|
|
|
|
type BranchName = | BranchName of string
|
|
|
|
type BranchProtectionRule =
|
|
{
|
|
RequiredChecks : string Set
|
|
}
|
|
|
|
type NativeRepo =
|
|
{
|
|
BranchProtectionRules : (BranchName * BranchProtectionRule) list
|
|
}
|
|
|
|
type Repo =
|
|
| GitHubMirror of Uri
|
|
| NativeRepo of NativeRepo
|