Clean repository

I had to create another repo because the old one got bloated and I
couldn't prune it to fix the size issue.