dom-new-git-repo(1) on Linux

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

Creates a new Git repository in pkg-ocaml-maint space

dom-new-git-repo(1) on Linux now