dom-git-checkout(1) on Linux

The text e989fc24c065, as Debian 10 (Buster) shipped it.

Checkout the Git repository of a pkg-ocaml-maint package

Flags it lists

--no-ssh

dom-git-checkout(1) on Linux now