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
Kindprocedure
Authorityknotless.dev
Indexed

Procedure

procedure · POST

Input

application/json

pull

requiredstring · at-uri

The dev.knotless.pull record.

repo

requiredstring · at-uri

The repository's dev.knotless.repo record, as dev.knotless.getRepo takes it.

Output

application/json

base

requiredstring

The branch whose queue it is in.

Queued 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.

of

requiredinteger

How many are queued there.

  • minimum: 1

position

requiredinteger

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 match

Lexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.

  • Takes a pull out of its branch's merge queue as the account logged in to this appview's pages.

  • Merges a pull as the account logged in to this appview's pages.

  • A repository's merge queues.

  • A 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.

  • Points a pull at other branches as the account logged in to this appview's pages.