bin · ocaml-merge-queue · Tangled

ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue bin

1 folder · 54 files

Thomas Gazagnaire · merge-queue: mq web's documents are made in Command_web, beside the server · 2d ago

mq: --version reports the PROJECT_VERSION the binary was built with

merge-queue-eio: mq dequeue and mq drop

cmd_dequeue.mli

merge-queue: a command's refusals print where its blocks go

merge-queue: mq doctor lists the delivery health's findings in place of its own unserved one

merge-queue: a command's refusals print where its blocks go

mq drain: replay every queued entry into one chain, land it as one lane, repair forward

merge-queue/test: mq drain lands a target's queue in one batch of the vetted (red)

merge-queue: a dropped tip is a line of refs/mq/keep's reflog, never a ref

merge-queue: a dropped tip is a line of refs/mq/keep's reflog, never a ref

mq: an event's severity is Event_view's, in lib/screen

merge-queue: status, stats and events keep --json; --raw for a drawn view

mq: document stacks in the README and the new, land and field manuals

merge-queue: mq field sets the fields of an existing branch's description

merge-queue-eio: mq forget sets a tree's stored check results aside

merge-queue-eio: mq forget sets a tree's stored check results aside

merge-queue: a freeze stops every branch move, push, check and run

merge-queue: the inverse of mq freeze is mq unfreeze

merge-queue: the lines mq init advises are the hook it writes, printed by mq hook reference-transaction --lines

merge-queue: the main synopsis, and the hook's phase argument

merge-queue: mq --help and mq init --help name the lock and what init does with it

merge-queue: a command's refusals print where its blocks go

merge-queue: a lane queued --onto the target its base is queued into waits for its base, and lands alone only while its base is not queued

merge-queue: list what a person types, and remove tag and web

mq: Command_new.run makes the --edit hand-outs

merge-queue: Project is deleted; a land, a drop and a hand-out act in one repository

merge-queue: mq/tip-red derives each target's list from the runs at its tip

merge-queue: mq ocaml check and fmt, one dune build per check

mq: a pull never moves a branch back, and a push publishes over held commits

merge-queue: a command's refusals print where its blocks go

merge-queue: mq push runs the pre-push hook git push runs

merge-queue: a command's refusals print where its blocks go

merge-queue: a repair's subject is its paths' package prefix and the repairer's statement under the subject rule

cmd_resolve.mli

merge-queue: mq resolve, the resolver mq ships

merge-queue: the scheduler's process is the run

merge-queue: a command's refusals print where its blocks go

cmd_schedule.ml

merge-queue: a run on launchd renews its agent once it has ended

cmd_schedule.mli

merge-queue: a command's refusals print where its blocks go

merge-queue: bound an mq slot hold and name it in mq status

merge-queue: build slots live in the repository's Git directory

mq: Command_stats.machine splits the queues it read from those it did not

merge-queue: status, stats and events keep --json; --raw for a drawn view

merge-queue: mq status --all gives every registered repository's delivery health, and mq web serves it

merge-queue: mq status --watch, on the neon screen

merge-queue: an edge and the sync run on state, not on an interval

merge-queue: mq sync, which the scheduled run starts every sync.every

merge-queue: a task repairs a red serve's culprit

merge-queue: a queued tip's cone is asked as a task the run does not wait for

merge-queue: mq verify, a commit's evidence checked offline

merge-queue: mq verify, a commit's evidence checked offline

merge-queue: mq web's documents are made in Command_web, beside the server

merge-queue: mq web, this machine's queues as the documents mq prints

merge-queue: run Eio_main.run alone, now that eio wakes for a child's exit before poll

merge-queue: mq web, this machine's queues as the documents mq prints

merge-queue: run Eio_main.run alone, now that eio wakes for a child's exit before poll

merge-queue: a run starts mq task reap, trim and restock through Task.args until the cutover, and its poll starts no mq trim