Alice hlt ex

second try after doing

git reset --hard HEAD@{1}
git push -f origin Alice_HLT_Ex