Try on push subtrees

utils/push_subtrees.sh

@@ -26,7 +26,12 @@ if [[ $depsCount > 0 ]]; then
 			echo "---- Push ${aDeps[$i, name]} ----"
 
 			# Push le dépôt
+
+			{ # 'try' block
 				git subtree push --prefix src/${aDeps[$i, name]} "git@gitlab.veremes.net:Development/vitis_apps/sources/${aDeps[$i, name]}.git" master
+			} || { # 'catch' block
+			    echo "could not push ${aDeps[$i, name]}"
+			}
 		fi
 	done
 fi