gazagnaire.org / ocaml-merge-queue
A local Git merge queue with content-bound gate verdicts
Star
Fork 0
Watch

Commits on main

merge-queue/test: the README's session is checked main
Thomas Gazagnaire committed
merge-queue: improve docs
Thomas Gazagnaire committed
merge-queue: wait for a held run lock and pool lock at the holder's release
Thomas Gazagnaire committed
merge-queue/test: a held run lock and pool lock are waited on (red)
Thomas Gazagnaire committed
fuzz: runtest runs each property campaign as a smoke, and @chaos the full count
Thomas Gazagnaire committed
merge-queue: a branch with no own commits lands the lock commit
Thomas Gazagnaire committed
merge-queue/test: a branch with no own commits lands the lock commit (red)
Thomas Gazagnaire committed
merge-queue/test: a consumer's stored red is read back with its lock
Thomas Gazagnaire committed
merge-queue: a land into a consumer writes its lock
Thomas Gazagnaire committed
merge-queue/test: a land into a consumer writes its lock (red)
Thomas Gazagnaire committed
merge-queue: a run records where its time goes
Thomas Gazagnaire committed
merge-queue/test: a run records where its time goes (red)
Thomas Gazagnaire committed
merge-queue: mq new on a base with no commit yet says so and names git commit
Thomas Gazagnaire committed
merge-queue/test: mq new on a base with no commit yet names the state and the next (red)
Thomas Gazagnaire committed
merge-queue: follow Git matching and tracking push destinations
Thomas Gazagnaire committed
merge-queue/test: exercise matching and tracking destinations
Thomas Gazagnaire committed
merge-queue/test: name Git sole-remote fallback
Thomas Gazagnaire committed
merge-queue: follow Git current push destination without upstream
Thomas Gazagnaire committed
merge-queue/test: compare origin fallback with Git current push
Thomas Gazagnaire committed
merge-queue: separate receipt validation from recovery
Thomas Gazagnaire committed
merge-queue/test: format pending receipt assertion
Thomas Gazagnaire committed
merge-queue: bind pending receipts and canonical forgery control
Thomas Gazagnaire committed
merge-queue: clear unsent receipts after definite stale refusal
Thomas Gazagnaire committed
merge-queue: keep receipt hash separate from commit conversion
Thomas Gazagnaire committed
merge-queue: bind recovery to an issued pending receipt
Thomas Gazagnaire committed
merge-queue/test: locally present foreign receipt is not issued
Thomas Gazagnaire committed
merge-queue: format checkpoint recovery
Thomas Gazagnaire committed
merge-queue: bound private receipt reconciliation to one retry
Thomas Gazagnaire committed
merge-queue/test: reject foreign or divergent backup receipts
Thomas Gazagnaire committed
merge-queue: reconcile stale checkpoint after remote refusal
Thomas Gazagnaire committed
merge-queue: recover prior private receipt before a new batch
Thomas Gazagnaire committed
merge-queue/test: retry a moved checkpoint after an uncertain receipt
Thomas Gazagnaire committed
merge-queue/test: after.t's independent sections are pages of their own
Thomas Gazagnaire committed
merge-queue/test: delivery.t's hooks are pages of their own
Thomas Gazagnaire committed
merge-queue/test: new.t's kill campaign and its tail are pages of their own
Thomas Gazagnaire committed
merge-queue: a verdict taken from a stored result is a typed fact
Thomas Gazagnaire committed
merge-queue/test: a verdict taken from a stored result is a typed fact (red)
Thomas Gazagnaire committed
merge-queue: a check run's build figures, from the traces it leaves
Thomas Gazagnaire committed
merge-queue/test: a check run's build figures, from the traces it leaves (red)
Thomas Gazagnaire committed
merge-queue: the word workspace leaves mq
Thomas Gazagnaire committed
merge-queue/test/cram: directory.t reads the line as repository: PATH (red)
Thomas Gazagnaire committed
merge-queue/test: format SSH fault helper
Thomas Gazagnaire committed
merge-queue/test: keep SSH fault helper to exercised modes
Thomas Gazagnaire committed
merge-queue/test: link the packet reader in SSH fixture
Thomas Gazagnaire committed
merge-queue/test: withhold SSH push report after apply
Thomas Gazagnaire committed
merge-queue/test: prove the SSH peer applied the full batch
Thomas Gazagnaire committed
merge-queue/test: format measured advertisement lengths with Fmt
Thomas Gazagnaire committed
merge-queue/test: pin the measured advertisement bytes
Thomas Gazagnaire committed
merge-queue/test: show the measured SSH advertisements
Thomas Gazagnaire committed
merge-queue/test: allow prepared ref transactions in the SSH fixture
Thomas Gazagnaire committed
merge-queue/test: expose uncertain SSH push after a lost report
Thomas Gazagnaire committed
merge-queue: remove a worktree only under dune's build lock
Thomas Gazagnaire committed
merge-queue/test: a worktree is not removed while a dune builds in it (red)
Thomas Gazagnaire committed
merge-queue/test: a long history's records are copies, not lands
Thomas Gazagnaire committed
merge-queue/test: conflict-kill.t's cases spread over pages of two
Thomas Gazagnaire committed
merge-queue/test: kill-drop.t's cases spread over pages of two
Thomas Gazagnaire committed
merge-queue/test: kill.t's cases spread over pages of two or three
Thomas Gazagnaire committed
merge-queue/test: a page's PATH holds the tools it runs, not the system's
Thomas Gazagnaire committed
merge-queue: each next on the rules' repair path leads forward
Thomas Gazagnaire committed
merge-queue/test: each next on the rules' repair path leads forward (red)
Thomas Gazagnaire committed