From a0602c820c4ee7bf3c790bfd513ed3a609b93f48 Mon Sep 17 00:00:00 2001
From: Gerhard Hoffmann <g.hoffmann@atb-online.eu>
Date: Sun, 5 Jun 2022 17:13:18 +0200
Subject: [PATCH] Add utility to clone customer repository in
 workspace-directory

---
 clone_customer_repository | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 clone_customer_repository

diff --git a/clone_customer_repository b/clone_customer_repository
new file mode 100755
index 0000000..e18a202
--- /dev/null
+++ b/clone_customer_repository
@@ -0,0 +1,9 @@
+#! /bin/bash -
+# set -x
+
+if [ $# -eq 2 ]; then
+    test mkdir -p $1 && cd $1 && git clone $2
+    exit $?
+fi
+
+echo "Usage: ./${0##*/} <workspace-directory> <path-to-customer-repository>