Support deletion of repos (#53)

This commit is contained in:
Patrick Stevens
2023-08-04 23:52:36 +01:00
committed by GitHub
parent 4e923c33fa
commit 872385ff2f
5 changed files with 40 additions and 3 deletions

View File

@@ -117,6 +117,9 @@ type internal SerialisedRepo =
[<Description "If this repo is to be created natively on Gitea, the information about the repo.">]
[<JsonProperty(Required = Required.Default)>]
Native : Nullable<SerialisedNativeRepo>
[<Description "Set this to true to delete the repo. dotnet-gitea-declarative will refuse to delete any repo that is absent from configuration; the workflow is to first set its `deleted` to `true` (whereupon dotnet-gitea-declarative will delete it from Gitea) and then to delete it from configuration.">]
[<JsonProperty(Required = Required.Default)>]
Deleted : Nullable<bool>
}
[<RequireQualifiedAccess>]