Lexicon Garden

dev.knotless.mergePull

Merges an open pull as `knotless pull merge` does, as the account logged in to this appview's web pages, with the session the appview keeps for it: a fast-forward when the base has not moved, else a merge commit, or one squashed commit into a branch protected as linear. Refused on conflicts, into a branch that takes pulls only through the merge queue (dev.knotless.queuePull queues it), and, in a repository that names runners, until each workflow that runs on it passed at its head merged with its base as it is now; it does not wait. The owner and collaborators may. Its head branch, when in the repository, goes with it unless kept or named by another open pull. Into the default branch, it closes the issues the pull names to close. Requires the session cookie the pages' login sets.

Repository @lexicons.knotless.dev did:plc:yqsg7znbbhfmj3a2nrpnaerk namespace authority
Details · procedure
Kindprocedure
Authorityknotless.dev
Indexed
Compare Edit in builder → Fork →

Procedure

procedure · POST

Input

application/json

keepBranch

boolean

Keep its head branch.

  • default: false

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

closed

requiredarray

The issues it closed.

itemsref
Reference

commit

requiredstring

The commit the target branch now points at, in hex.

deleted

string

The head branch the merge deleted.

Errors

NotFound

No such repository.

AuthenticationRequired

No account is logged in to the pages, or its session has ended.

UpstreamFailure

It did not merge, as the reason says: it conflicts, its checks have not passed, its branch takes pulls only through the merge queue, or the account may not merge it.

#closedIssue

object

An issue the merge closed.

Properties

uri

requiredstring · at-uri

The dev.knotless.issue record.

Similar lexicons

semantic match

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

  • dev.knotless.setAutoMerge

    procedure

    Sets a pull to merge by itself once its checks pass, or cancels that, as the account logged in to this appview's pages.

  • dev.knotless.queuePull

    procedure

    Puts a pull in its branch's merge queue as the account logged in to this appview's pages.

  • dev.knotless.retargetPull

    procedure

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

  • dev.knotless.revertPull

    procedure

    Reverts a merged pull as the account logged in to this appview's pages.

  • dev.knotless.getMergeStatus

    query

    Whether an open pull can merge now, and what the account asking may do to it.