update: fixup repos for git diff

This commit is contained in:
adisbladis 2023-12-24 01:09:16 +13:00
parent 9893e2a614
commit 8ff5240882

2
update
View file

@ -7,7 +7,7 @@ repo="$1"
"repos/$repo/update" "repos/$repo/update"
if git diff --exit-code "$repo" > /dev/null; then if git diff --exit-code "repos/$repo" > /dev/null; then
exit 0 exit 0
fi fi