services/repos/scripts/fetch-repos.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/usr/bin/env bash

set -euo pipefail

for repo_path in repos/*; do
    if [[ -d "$repo_path" ]]; then
        repo_name=$(basename "$repo_path" .git)
        echo "Fetching $repo_name"
        git -C "$repo_path" fetch --tags --prune origin
        sleep 5
    fi
done