configuration/local/bin/subgit-fetch
2020-12-13 00:36:28 +01:00

41 lines
883 B
Bash
Executable File

#!/bin/sh
task="$1"
repo="$2"
set -e
if [ ! -d "$repo" ]; then
mkdir -p "$repo"
cd "$repo"
git init
else
cd "$repo"
fi
if [ ! -z "$(git status --porcelain)" ]; then
echo "Requires a clean working tree" >&2
exit 1
fi
# update existing submodules
git submodule foreach git fetch origin
git submodule foreach git reset --hard origin/master > /dev/null 2>&1
for remote in $(ssh git@subgit.ugent.be task students -l "$task" | cut -f4); do
if [ -d "$(basename "$remote")" ]; then continue; fi # exists
remotes="$(git ls-remote "$remote")"
if ! echo "$remotes" | grep -q HEAD; then
printf 'No HEAD at %s' "$remote"
count="$(echo "$remotes" | grep -o refs/heads | wc -l)"
if [ "$count" -gt 0 ]; then printf ' (but %d other)' "$count"; fi
printf '\n'
else
echo "adding $remote"
git submodule --quiet add --force "$remote" || true
fi
done
git add .
git commit -v