git push 2>&1 | grep -v "X11 forwarding request failed"
retval+=$?
else
- echo unknown repository for $directory...
+ echo no repository in $directory
retval=1
fi
popd &>/dev/null
elif [ -d ".git" ]; then
git pull 2>&1 | grep -v "X11 forwarding request failed" | squash_first_few_crs
else
- echo unknown repository for $directory...
+ echo no repository in $directory
fi
popd &>/dev/null
}