/usr/bin/dom-git-checkout is in dh-ocaml 1.0.10.
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 25 26 27 28 29 30 31 32 | #!/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"
git clone "$PROTOCOL://git.debian.org/$REPODIR"
echo "I: setting up remote tracking"
(cd $PACKAGE
for branch in $REMOTE_BRANCHES ; do
if git show-ref -q remotes/origin/$branch; then
git branch --track $branch remotes/origin/$branch
fi
done)
echo "I: all done, enjoy."
|