Rename to gitea-repo-config (#65)

This commit is contained in:
Patrick Stevens
2023-08-28 22:59:44 +01:00
committed by GitHub
parent a8f9e6a9f3
commit 2f9a03ffe2
6 changed files with 11 additions and 10 deletions

View File

@@ -88,7 +88,7 @@
"boolean",
"null"
],
"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."
"description": "Set this to true to delete the repo. We will refuse to delete any repo that is absent from\n configuration; the workflow is to first set its `deleted` to `true` (whereupon we will delete it from Gitea) and then to delete it from configuration."
}
},
"oneOf": [

View File

@@ -117,7 +117,8 @@ 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.">]
[<Description "Set this to true to delete the repo. We will refuse to delete any repo that is absent from
configuration; the workflow is to first set its `deleted` to `true` (whereupon we will delete it from Gitea) and then to delete it from configuration.">]
[<JsonProperty(Required = Required.Default)>]
Deleted : Nullable<bool>
}