A local Git merge queue with content-bound gate verdicts

Version history of lib/commit.ml