#/bin/bash

git fetch --all
git reset --hard origin/master
echo "Hard reset done"