Fix the incorrect rendering of the Patch attribute (#375)

This commit is contained in:
Patrick Stevens
2025-04-22 22:53:32 +01:00
committed by GitHub
parent 19761db983
commit e8571553c4
4 changed files with 46 additions and 46 deletions

View File

@@ -41945,7 +41945,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -42394,7 +42394,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -43117,7 +43117,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -43439,7 +43439,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -43726,7 +43726,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -44013,7 +44013,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -45382,7 +45382,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -45790,7 +45790,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -47997,7 +47997,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -48164,7 +48164,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -48836,7 +48836,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -49125,7 +49125,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -49384,7 +49384,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -51242,7 +51242,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -51669,7 +51669,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -52174,7 +52174,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -54060,7 +54060,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -54319,7 +54319,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -56075,7 +56075,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -56713,7 +56713,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -57524,7 +57524,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )
@@ -58531,7 +58531,7 @@ module Gitea =
let httpMessage = let httpMessage =
new System.Net.Http.HttpRequestMessage ( new System.Net.Http.HttpRequestMessage (
Method = System.Net.Http.HttpMethod.Post, Method = System.Net.Http.HttpMethod.Patch,
RequestUri = uri RequestUri = uri
) )

View File

@@ -3423,7 +3423,7 @@ type IGitea =
[<RestEase.Path "id">] id : int * ?ct : System.Threading.CancellationToken -> Hook System.Threading.Tasks.Task [<RestEase.Path "id">] id : int * ?ct : System.Threading.CancellationToken -> Hook System.Threading.Tasks.Task
/// Update a hook /// Update a hook
[<RestEase.Post "admin/hooks/{id}">] [<RestEase.Patch "admin/hooks/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract AdminEditHook : abstract AdminEditHook :
[<RestEase.Path "id">] id : int * [<RestEase.Path "id">] id : int *
@@ -3494,7 +3494,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit an existing user /// Edit an existing user
[<RestEase.Post "admin/users/{username}">] [<RestEase.Patch "admin/users/{username}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract AdminEditUser : abstract AdminEditUser :
[<RestEase.Path "username">] username : string * [<RestEase.Path "username">] username : string *
@@ -3601,7 +3601,7 @@ type IGitea =
NotificationThread System.Threading.Tasks.Task NotificationThread System.Threading.Tasks.Task
/// Mark notification thread as read by ID /// Mark notification thread as read by ID
[<RestEase.Post "notifications/threads/{id}">] [<RestEase.Patch "notifications/threads/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract NotifyReadThread : abstract NotifyReadThread :
[<RestEase.Path "id">] id : string * [<RestEase.Path "id">] id : string *
@@ -3649,7 +3649,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit an organization /// Edit an organization
[<RestEase.Post "orgs/{org}">] [<RestEase.Patch "orgs/{org}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract OrgEdit : abstract OrgEdit :
[<RestEase.Path "org">] org : string * [<RestEase.Path "org">] org : string *
@@ -3695,7 +3695,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Update a hook /// Update a hook
[<RestEase.Post "orgs/{org}/hooks/{id}">] [<RestEase.Patch "orgs/{org}/hooks/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract OrgEditHook : abstract OrgEditHook :
[<RestEase.Path "org">] org : string * [<RestEase.Path "org">] org : string *
@@ -3742,7 +3742,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Update a label /// Update a label
[<RestEase.Post "orgs/{org}/labels/{id}">] [<RestEase.Patch "orgs/{org}/labels/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract OrgEditLabel : abstract OrgEditLabel :
[<RestEase.Path "org">] org : string * [<RestEase.Path "org">] org : string *
@@ -3984,7 +3984,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a repository's properties. Only fields that are set will be changed. /// Edit a repository's properties. Only fields that are set will be changed.
[<RestEase.Post "repos/{owner}/{repo}">] [<RestEase.Patch "repos/{owner}/{repo}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEdit : abstract RepoEdit :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4052,7 +4052,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a branch protections for a repository. Only fields that are set will be changed /// Edit a branch protections for a repository. Only fields that are set will be changed
[<RestEase.Post "repos/{owner}/{repo}/branch_protections/{name}">] [<RestEase.Patch "repos/{owner}/{repo}/branch_protections/{name}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditBranchProtection : abstract RepoEditBranchProtection :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4425,7 +4425,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a Git hook in a repository /// Edit a Git hook in a repository
[<RestEase.Post "repos/{owner}/{repo}/hooks/git/{id}">] [<RestEase.Patch "repos/{owner}/{repo}/hooks/git/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditGitHook : abstract RepoEditGitHook :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4456,7 +4456,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a hook in a repository /// Edit a hook in a repository
[<RestEase.Post "repos/{owner}/{repo}/hooks/{id}">] [<RestEase.Patch "repos/{owner}/{repo}/hooks/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditHook : abstract RepoEditHook :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4573,7 +4573,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a comment attachment /// Edit a comment attachment
[<RestEase.Post "repos/{owner}/{repo}/issues/comments/{id}/assets/{attachment_id}">] [<RestEase.Patch "repos/{owner}/{repo}/issues/comments/{id}/assets/{attachment_id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract IssueEditIssueCommentAttachment : abstract IssueEditIssueCommentAttachment :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4626,7 +4626,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit an issue. If using deadline only the date will be taken into account, and time of day ignored. /// Edit an issue. If using deadline only the date will be taken into account, and time of day ignored.
[<RestEase.Post "repos/{owner}/{repo}/issues/{index}">] [<RestEase.Patch "repos/{owner}/{repo}/issues/{index}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract IssueEditIssue : abstract IssueEditIssue :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4669,7 +4669,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit an issue attachment /// Edit an issue attachment
[<RestEase.Post "repos/{owner}/{repo}/issues/{index}/assets/{attachment_id}">] [<RestEase.Patch "repos/{owner}/{repo}/issues/{index}/assets/{attachment_id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract IssueEditIssueAttachment : abstract IssueEditIssueAttachment :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -4999,7 +4999,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Update a label /// Update a label
[<RestEase.Post "repos/{owner}/{repo}/labels/{id}">] [<RestEase.Patch "repos/{owner}/{repo}/labels/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract IssueEditLabel : abstract IssueEditLabel :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -5073,7 +5073,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Update a milestone /// Update a milestone
[<RestEase.Post "repos/{owner}/{repo}/milestones/{id}">] [<RestEase.Patch "repos/{owner}/{repo}/milestones/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract IssueEditMilestone : abstract IssueEditMilestone :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -5157,7 +5157,7 @@ type IGitea =
PullRequest System.Threading.Tasks.Task PullRequest System.Threading.Tasks.Task
/// Update a pull request. If using deadline only the date will be taken into account, and time of day ignored. /// Update a pull request. If using deadline only the date will be taken into account, and time of day ignored.
[<RestEase.Post "repos/{owner}/{repo}/pulls/{index}">] [<RestEase.Patch "repos/{owner}/{repo}/pulls/{index}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditPullRequest : abstract RepoEditPullRequest :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -5495,7 +5495,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Update a release /// Update a release
[<RestEase.Post "repos/{owner}/{repo}/releases/{id}">] [<RestEase.Patch "repos/{owner}/{repo}/releases/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditRelease : abstract RepoEditRelease :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -5538,7 +5538,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a release attachment /// Edit a release attachment
[<RestEase.Post "repos/{owner}/{repo}/releases/{id}/assets/{attachment_id}">] [<RestEase.Patch "repos/{owner}/{repo}/releases/{id}/assets/{attachment_id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditReleaseAttachment : abstract RepoEditReleaseAttachment :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -5845,7 +5845,7 @@ type IGitea =
unit System.Threading.Tasks.Task unit System.Threading.Tasks.Task
/// Edit a wiki page /// Edit a wiki page
[<RestEase.Post "repos/{owner}/{repo}/wiki/page/{pageName}">] [<RestEase.Patch "repos/{owner}/{repo}/wiki/page/{pageName}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract RepoEditWikiPage : abstract RepoEditWikiPage :
[<RestEase.Path "owner">] owner : string * [<RestEase.Path "owner">] owner : string *
@@ -5936,7 +5936,7 @@ type IGitea =
[<RestEase.Path "id">] id : int * ?ct : System.Threading.CancellationToken -> unit System.Threading.Tasks.Task [<RestEase.Path "id">] id : int * ?ct : System.Threading.CancellationToken -> unit System.Threading.Tasks.Task
/// Edit a team /// Edit a team
[<RestEase.Post "teams/{id}">] [<RestEase.Patch "teams/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract OrgEditTeam : abstract OrgEditTeam :
[<RestEase.Path "id">] id : int * [<RestEase.Path "id">] id : int *
@@ -6066,7 +6066,7 @@ type IGitea =
[<RestEase.Path "id">] id : int * ?ct : System.Threading.CancellationToken -> unit System.Threading.Tasks.Task [<RestEase.Path "id">] id : int * ?ct : System.Threading.CancellationToken -> unit System.Threading.Tasks.Task
/// update an OAuth2 Application, this includes regenerating the client secret /// update an OAuth2 Application, this includes regenerating the client secret
[<RestEase.Post "user/applications/oauth2/{id}">] [<RestEase.Patch "user/applications/oauth2/{id}">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract UserUpdateOAuth2Application : abstract UserUpdateOAuth2Application :
[<RestEase.Path "id">] id : int * [<RestEase.Path "id">] id : int *
@@ -6204,7 +6204,7 @@ type IGitea =
abstract GetUserSettings : ?ct : System.Threading.CancellationToken -> UserSettings list System.Threading.Tasks.Task abstract GetUserSettings : ?ct : System.Threading.CancellationToken -> UserSettings list System.Threading.Tasks.Task
/// Update user settings /// Update user settings
[<RestEase.Post "user/settings">] [<RestEase.Patch "user/settings">]
[<RestEase.Header("Content-Type", "json")>] [<RestEase.Header("Content-Type", "json")>]
abstract UpdateUserSettings : abstract UpdateUserSettings :
[<RestEase.Body>] body : UserSettingsOptions * ?ct : System.Threading.CancellationToken -> [<RestEase.Body>] body : UserSettingsOptions * ?ct : System.Threading.CancellationToken ->

View File

@@ -136,7 +136,7 @@ module InnerTypeWithBoth =
ret.Add (key.ToString (), System.Text.Json.Nodes.JsonValue.Create<Uri> value) ret.Add (key.ToString (), System.Text.Json.Nodes.JsonValue.Create<Uri> value)
ret ret
) input.Map ) input.ReadOnlyDict
) )
node node

View File

@@ -472,7 +472,7 @@ type HttpMethod =
| HttpMethod.Get -> "Get" | HttpMethod.Get -> "Get"
| HttpMethod.Post -> "Post" | HttpMethod.Post -> "Post"
| HttpMethod.Delete -> "Delete" | HttpMethod.Delete -> "Delete"
| HttpMethod.Patch -> "Post" | HttpMethod.Patch -> "Patch"
| HttpMethod.Options -> "Options" | HttpMethod.Options -> "Options"
| HttpMethod.Head -> "Head" | HttpMethod.Head -> "Head"
| HttpMethod.Put -> "Put" | HttpMethod.Put -> "Put"