# 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