Added repo info to dist.ini