Takes a queued pull out of its target branch's merge queue, as `knotless queue --leave` does, as the account logged in to this appview's web pages. The owner and collaborators may. Requires the session cookie the pages' login sets.
Input
application/jsonpull
stringat-uri
Required
The dev.knotless.pull record.
repo
stringat-uri
Required
The repository's dev.knotless.repo record, as dev.knotless.getRepo takes it.
Output
application/jsonErrors
NotFound
No such repository. AuthenticationRequired
No account is logged in to the pages, or its session has ended. UpstreamFailure
It did not leave, as the reason says: it was not queued, or the account may not take it out. Try It
Requests are sent directly from your browser. Some servers may block requests due to CORS.
View raw schema
{
"description": "Takes a queued pull out of its target branch's merge queue, as `knotless queue --leave` does, as the account logged in to this appview's web pages. The owner and collaborators may. Requires the session cookie the pages' login sets.",
"errors": [
{
"description": "No such repository.",
"name": "NotFound"
},
{
"description": "No account is logged in to the pages, or its session has ended.",
"name": "AuthenticationRequired"
},
{
"description": "It did not leave, as the reason says: it was not queued, or the account may not take it out.",
"name": "UpstreamFailure"
}
],
"input": {
"encoding": "application/json",
"schema": {
"properties": {
"pull": {
"description": "The dev.knotless.pull record.",
"format": "at-uri",
"type": "string"
},
"repo": {
"description": "The repository's dev.knotless.repo record, as dev.knotless.getRepo takes it.",
"format": "at-uri",
"type": "string"
}
},
"required": [
"repo",
"pull"
],
"type": "object"
}
},
"output": {
"encoding": "application/json",
"schema": {
"properties": {},
"type": "object"
}
},
"type": "procedure"
}