Commit 9e3fc1f2 authored by Boris Baldassari's avatar Boris Baldassari
Browse files

Make sure that local changes are deleted when pulling repo from git.

parent 9abfa569
......@@ -41,8 +41,10 @@ for i in `cat /tmp/repositories.csv | grep -v '^#'`; do
if [[ -d $n ]]; then
echo "# Cloning $p/$n";
cd $n
# Remove local changes (due to analysis/builds)
git reset --hard
git config pull.rebase false
git pull
git pull --force --prune
echo "# Pulling $p/$n";
git clone $r $n
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment