dev.knotless.queuePull
Puts an open pull at the back of its target branch's merge queue, as `knotless pull merge --queue` does, as the account logged in to this appview's web pages, and returns at once with its place: a runner the repository names lands it with the batch it is in once that passes. One queued already keeps its place. The owner and collaborators may, in a repository that names runners. Requires the session cookie the pages' login sets.
Details · procedure
| Kind | procedure |
|---|---|
| Authority | knotless.dev |
| Indexed |
Procedure
procedure · POSTInput
application/jsonOutput
application/jsonThe branch whose queue it is in.
ejectedBefore
stringQueued again at the very head the queue last ejected, why it was: unless that was not the pull's doing, it will be ejected again.
How many are queued there.
minimum: 1
Its place in that queue, from 1.
minimum: 1
Errors
NotFound
No such repository.
AuthenticationRequired
No account is logged in to the pages, or its session has ended.
UpstreamFailure
It was not queued, as the reason says.
Similar lexicons
semantic matchLexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.
-
dev.knotless.leaveQueue
procedureTakes a pull out of its branch's merge queue as the account logged in to this appview's pages.
-
dev.knotless.mergePull
procedureMerges a pull as the account logged in to this appview's pages.
-
dev.knotless.getQueue
queryA repository's merge queues.
-
dev.knotless.queue
recordA pull put in the merge queue of the branch it targets, taken out of it, or turned away by the runner that lands the queue.
-
dev.knotless.retargetPull
procedurePoints a pull at other branches as the account logged in to this appview's pages.