# Make sure directory exists
if [ ! -d "${r}" ]; then
- echo "Missing repos ${r}"
- exit 1
+ echo "Missing repos ${r}, skipping"
+ continue
fi
# Update only git repos
# Make sure directory exists
if [ ! -d "${r}" ]; then
- echo "Missing repos ${r}"
- exit 1
+ echo "Missing repos ${r}, skipping"
+ continue
fi
# Update only git repos