# clone the repo (skip if you already have a cloned repo locally)
#git clone git@github.com:USERNAME/REPOSITORY.git
#cd REPOSITORY

# remove all history locally
rm -rf .git

# create a new local repo
git init

# add everything
git add .
git commit -m "First commit"

# nuke history on GitHub (irreversable)
git remote add origin git@lab.compute.dtu.dk:tuhe/unlearn.git
git push -u --force origin master