dom-git-checkout(1) on Linux

The text bf26ed5d227e, as Debian 6.0 (Squeeze) shipped it.

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

Flags it lists

--no-ssh

dom-git-checkout(1) on Linux now