diff options
| author | Seth Flynn <[email protected]> | 2025-02-08 15:24:34 -0500 |
|---|---|---|
| committer | Seth Flynn <[email protected]> | 2025-02-08 15:24:34 -0500 |
| commit | 43a00a781ce9a052101bbc3f02141f6ac9e598e7 (patch) | |
| tree | 488587ba6875e1cd406158d887cec81a921a304a /modules/nixos/services/github-mirror/update-mirror.sh | |
| parent | 9436184424fde2307ed0d6fb39eeab4126104715 (diff) | |
nixos/github-mirror: fix existing repo detection
Diffstat (limited to 'modules/nixos/services/github-mirror/update-mirror.sh')
| -rwxr-xr-x | modules/nixos/services/github-mirror/update-mirror.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/nixos/services/github-mirror/update-mirror.sh b/modules/nixos/services/github-mirror/update-mirror.sh index c1e392d..88ff6eb 100755 --- a/modules/nixos/services/github-mirror/update-mirror.sh +++ b/modules/nixos/services/github-mirror/update-mirror.sh @@ -63,7 +63,7 @@ for user in "${users[@]}"; do curl --fail --location --show-error --silent "$url" | jq --raw-output '.[].name' | while read -r repo; do repo_path="$user"/"$repo" - if [ -d "$repo_path"/.git ]; then + if [ -d "$repo_path" ]; then pushd "$repo_path" &>/dev/null echo "Pulling $repo_path..." if ! git remote update --prune &>/dev/null; then |