Add destroying of dependent repos and progress marks to user, clean up