[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.9.1-3-g0d02bf9

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 0d02bf9f2bdbf89d8a4bba4d096e4fcb4d88053e
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 19:39:06 2009 +0100

    Add --no-ssh option in order to be able to checkout a repository without ssh access.

diff --git a/manpages/dom-git-checkout.xml b/manpages/dom-git-checkout.xml
index 20caf48..fa6a93d 100644
--- a/manpages/dom-git-checkout.xml
+++ b/manpages/dom-git-checkout.xml
@@ -64,6 +64,11 @@
 
     <variablelist>
       <varlistentry>
+	<term><option>--no-ssh</option></term>
+	<listitem><para>Use git protocol instead of git+ssh protocol.</para></listitem>
+      </varlistentry>
+
+      <varlistentry>
 	<term><option>pkg_name</option></term>
 	<listitem><para>The name of the (source) package to
 	checkout</para></listitem>
diff --git a/tools/dom-git-checkout b/tools/dom-git-checkout
index d8b22e8..4a1696d 100755
--- a/tools/dom-git-checkout
+++ b/tools/dom-git-checkout
@@ -4,15 +4,22 @@ 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 PKGNAME"
+  echo "Usage: dom-git-checkout [ --no-ssh ] PKGNAME"
   exit 1
 fi
 
-REPODIR="/git/pkg-ocaml-maint/packages/$PACKAGE.git"
+REPODIR="git/pkg-ocaml-maint/packages/$PACKAGE.git"
 
 echo "I: cloning remote repository"
-git clone "git+ssh://git.debian.org/$REPODIR"
+git clone "$PROTOCOL://git.debian.org/$REPODIR"
 
 echo "I: setting up remote tracking"
 (cd $PACKAGE

-- 
dh-ocaml packaging