/usr/bin/dom-git-checkout is in dh-ocaml 1.1.0.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | #!/bin/bash
set -e
REMOTE_BRANCHES="upstream pristine-tar"
PACKAGE="$1"
PROTOCOL="git+ssh"
if [ "$1" = "--no-ssh" ] ; then
PACKAGE="$2"
PROTOCOL="git"
fi
if [ -z "$PACKAGE" ] ; then
echo "Usage: dom-git-checkout [ --no-ssh ] PKGNAME"
exit 1
fi
REPODIR="git/pkg-ocaml-maint/packages/$PACKAGE.git"
echo "I: cloning remote repository"
gbp clone --pristine-tar "$PROTOCOL://git.debian.org/$REPODIR"
echo "I: all done, enjoy."
|