Add github issue tracking to dist.ini.