local id="${2}"
local rev="${3}"
- pushd "${src}"
+ pushd "${src}" 1> /dev/null
branch=$(hg log -r ${rev} | grep "branch:" | sed "s/branch:\ *//")
echo " num: ${num}"
fi
- popd
+ popd 1> /dev/null
}
if [ "x${1}" = "x--help" ]; then
# Ignore subrepo in top-level git repository
echo "${dest}" >> .gitignore
fi
- else
- pushd "${dest}"
- git pull
- popd
fi
fi
done < .hgsub