Merge pull request #1982 from stefand/main

Don't fetch a submodule if the commit is already known
2023-07-31 11:40:26 -04:00 · 2023-07-31 11:40:26 -04:00 · 7cb6096321
commit 7cb6096321
parent d9b32e0c75 f7e0d7db3e
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -232,7 +232,7 @@ function update_repo() {

 	if [ -d $1 -a -d $1/.git ]; then
 		cd $1
-		git fetch --all
+		git cat-file -e $3 || git fetch --all
 		git checkout --force $3
 		cd -  > /dev/null
 	else