Fix github repository declaration