fix url for github repo