You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# Performs a git pull on all of the sub repositories that are checked out. If the repository has local changes, those changes are stashed before the pull.
DIR=$(dirname "$0")
do_git_pull () {
GIT_DIR=$1
cd $DIR/$GIT_DIR
GIT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
echo "-------"
if [[ `git status --porcelain` ]]; then
echo "warning: stashing local changes on $GIT_DIR $GIT_BRANCH ..."