idhub-docker/pull-repos.sh

#!/bin/sh

set -e
set -u
# DEBUG
set -x

# clone or pull git repo
_pull() {
        myurl="${1}"
        mydir_raw="$(basename "${myurl}")"
        mydir="${mydir_raw%.git}"
        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'
        _pull 'git@gitea.pangea.org:trustchain-oc1-orchestral/IdHub.git' 'main'
}

main "${@}"