Fix #1: update gh repository metadata in dist.ini