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.

Details · procedure
Kindprocedure
Authorityknotless.dev
Indexed

What's different

same NSID · two revisions from the same publisher
knotless.dev · namespace authority
knotless.dev · namespace authority
No changes

The two versions describe the same schema.

6 properties, 3 errors and 1 def unchanged Open the full schema diff →