add repository info to dist.ini