Lexicon Garden

dev.knotless.autoMerge

Kept in the account of whoever wrote it; for a private repository, in their repo inside the repository's space. Readers honour `set` only from the repository's owner or a collaborator, and `cancelled` from them or the pull's author. For each pull, the latest honoured record wins, by record key. A runner the repository names merges a pull set so once its checks pass at its head merged with its base.

Repository @lexicons.knotless.dev did:plc:yqsg7znbbhfmj3a2nrpnaerk namespace authority
Details · record, key tid
Kindrecord
Record keytid
Authorityknotless.dev
Indexed
Compare Edit in builder → Fork →

Record

record · key tid

Properties

base

string

For `set`, the branch the pull targeted as it was set. Retargeted since, it is cancelled.

  • maxLength: 256

commit

string

For `set`, the hex object ID of the pull's head as it was set. A later head counts only when the pull's head repository belongs to someone who may merge it: a push by anyone else cancels it.

  • minLength: 40
  • maxLength: 64

createdAt

requiredstring · datetime

repo

requiredref

The repository the pull is on.

Reference

state

requiredstring

`set` has it merge once its checks pass; `cancelled` takes that back.

  • maxLength: 64
  • knownValues: set | cancelled

subject

requiredstring · at-uri

The dev.knotless.pull set to merge, or no longer.

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

    record

    A pull or issue opened, closed or merged, or a pull pointed at another target branch; or a thread on a pull's lines resolved or opened again.

  • dev.knotless.queue

    record

    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.

  • dev.knotless.pull

    record

    A request to merge a branch into a repository, kept in the requester's account.

  • dev.knotless.getMergeStatus

    query

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