A local Git merge queue with content-bound gate verdicts

Version history of lib/shell.ml

August 2026

July 2026

May 2026