From 8e5b0ce9288cfb378cf466bb5ddd3181e2df9734 Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Tue, 10 Oct 2023 10:53:27 +0200
Subject: [PATCH] add script to pull git repos

---
 .gitignore    |  3 +++
 pull-repos.sh | 31 +++++++++++++++++++++++++++++++
 2 files changed, 34 insertions(+)
 create mode 100755 pull-repos.sh

diff --git a/.gitignore b/.gitignore
index ca058a8..b30d8d3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,6 @@
 .env
 # emacs
 *~
+
+django-orchestra
+django-musician
diff --git a/pull-repos.sh b/pull-repos.sh
new file mode 100755
index 0000000..ba03b72
--- /dev/null
+++ b/pull-repos.sh
@@ -0,0 +1,31 @@
+#!/bin/sh
+
+set -e
+set -u
+# DEBUG
+set -x
+
+# clone or pull git repo
+_pull() {
+        myurl="${1}"
+        mydir="$(basename "${myurl}")"
+        mybranch="${2}"
+
+        if [ -d "${mydir}" ]; then
+                cd "${mydir}"
+                git checkout "${mybranch}"
+                git pull
+                cd -
+        else
+                git clone "${myurl}" "${mydir}"
+        fi
+}
+
+
+main() {
+        _pull 'https://gitea.pangea.org/pangea/django-orchestra' 'sso'
+        _pull 'https://gitea.pangea.org/pangea/django-musician' 'sso'
+}
+
+main "${@}"
+