Add meta information about git repository to dist.ini