Added git repo info to dist.ini