dump repo, various stuff