Something went wrong. Try again.
A local Git merge queue with content-bound gate verdicts
Something went wrong. Try again.
1.6 kB · 44 lines
OCaml
at main
123456789101112131415161718192021222324252627282930313233343536373839404142434445open Cmdlineropen Cmdliner.Term.Syntaxmodule Command_pull = Merge_queue_eio.Command_pull
let action out : Common.action Term.t = let+ out and+ remote = let doc = "Fetch from $(docv) (default: the remote each branch is pulled from)." in Arg.(value & pos 0 (some string) None & info [] ~docv:"REMOTE" ~doc) and+ no_wait = let doc = "Return once the landings to replay are queued." in Arg.(value & flag & info [ "no-wait" ] ~doc) and+ notes_from = let doc = "Join to this machine's check results, and fetch nothing else, those of \ the private checkpoint $(docv) published with $(b,mq push) to the \ remote $(b,mq.backupRemote) names, once its receipt binds them and each \ is a result about the tree it annotates." in Arg.( value & opt (some string) None & info [ "notes-from" ] ~docv:"WRITER" ~doc) in fun ctx -> Common.result out (match notes_from with | Some writer -> Command_pull.import_notes ctx ~remote ~writer | None -> Command_pull.run ctx ~remote ~no_wait)
let cmd = let man = [ `S Manpage.s_description; `P "Fetch the agreed copy of each branch of the DAG and of the rules, \ with their check results, and reconcile this machine's landings with \ it: they are landed again on top. Each branch comes from the remote \ Git pulls it from. With a $(i,REMOTE) that holds no agreed copy, \ fetch it and reconcile nothing."; ] in Common.v "pull" ~exits:Pull ~json:Common.outcome_json ~doc:"Bring in the agreed history and its results." ~man action